och Irland sändas 7000 man infanleri.