Comment by gampleman

Above we are counting them. This about ~10000 people total, most of them abroad. We are not counting military since these are civil servants, but neither are we counting military today.