document.write(' 6093 ');