document.write('7060\n');