document.write ('3842');