document.write(' 7342 ');