document.write("6088 ");