document.write(' 5842 ');