document.write(' 42512 ');