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