In radio communication, 1:30 p.m. is transmitted as_________．