document.write("(40)");