document.write('5025\n');