document.write ('4192');