document.write("
0020833
:0003:0012
");