document.write ('7240');