document.write (" 6125 ");