document.write("13");document.close();