document.write(' 7942 ');