document.write(' 42718 ');