document.write("(45)");