document.write("18");//