document.write("(43)");