printf"%010d\n",$.,<>