document.write ('10942');