document.write("(12)")