document.write("
0142477
:0001:0004
");