document.write('7040\n');