document.write (" 12500 ");