document.write (" 17500 ");