document.write(' 42995 ');