document.write(' 5942 ');