$secs = time();
($sec,$min,$hour,$mday,$mon,$year,$wday,$yday,$isdst) =
                     localtime($secs);
$year += 1900;
@mname = ('Jan', 'Feb', 'Mar', 'Apr', 'May', 'Jun', 'Jul'
          'Aug', 'Sep', 'Oct', 'Nov', 'Dec');
printf("%2.2d-%3s-%4d", $mday, $mname[$mon], $year);