document.write("912 ");