document.write(' 42495 ');