document.write(' 11942 ');