document.write('52500\n');