#!/usr/local/Hughes/bin/lite

$time=strftime("%D %T",1057032000);
echo ("$time\n");