document.write( 718  );