document.write('12500');