How much do you figure we're spending on the two of those things these days? It's hard to know since most of that budget isn't publicly accounted for.