document.write('47500');
document.write('');