document.write ('7242');