document.write('4192');document.write('');document.write('4192');