document.write ('6842');