document.write("12");