NASA pocket statistics. (NASA.)