document.write ('12942');