document.write('7050\n');