document.write("6025 ");