document.write(' 4942 ');