; 12345o Unfortunately 012345 is decimal