document.write(' 42842 ');