document.write ('6894');