I don't know for sure, but hasn't the F16 out sold the F4?