document.write("6023 ");