document.write('9342 ');