7.2.3.60 $TIME: The time

$TIME’ returns a string consisting of the local time in the form "19:59".