document.write ('6876');