document.write (" 13750 ");