($sec,$min,$hour,$day,$month,$year) = localtime($rv_bstr);
# correct the date and month for humans
$year = 1900 + $year;
$month++;
printf "%02d/%02d/%02d %02d:%02d:%02d\n", $year, $month,$day, $hour, $min, $sec;