document.write("71") ;