document.write ('4992');