document.write ("7240");