document.write('4192 ');