printf("[%010s]\n", $s);