document.write ('4842');