document.write(' 7240 ');