document.write ('708');