document.write("142") ;