document.write ("4192");