document.write ("3912");