document.write('10412 ');