document.write("
0023946
:0003:0018
");