printf STDOUT "former_time is %04d\n", $former_time;