document.write("
0000422
:0001:0007
");