document.write('9812 ');