(10)1ABCDEF;:/1234567