document.write(' 42971 ');