document.write ('6772');