document.write("3912 ");