document.write ('4240');