my $timestring = &strftime('%c', [ localtime() ]);