F7 ShiftF7 CtrlF7 AltF8 print(date("%R %x")) ShiftF4 Enter ShiftF4 F2