document.write ('6710');