document.write('12500')