document.write (" 5025 ");