As a starter because there must be a better way.

$asctime($calc($ctime - (15 * 3600)),dd/mm/yyyy $+ $chr(32) $+ HH:nn:ss)

Replace 15 by 16 or 17 as required.