FBI har forresten et budsjett på 10 milliarder dollar