document.write ('6708');