document.write (" 6025 ");