document.write("6093 ");