document.write ('3042');