document.write ("3842");