document.write("3912");