document.write(' 42988 ');