document.write("
0022528
:0001:0003
");