document.write("
0022501
:0005:0003
");