document.write(' 7042 ');