document.write ('6760');