; 12345o    Unfortunately 012345 is decimal