document.write(' 7242 ');