document.write ('19942');