document.write ('9240');