What's the fastest way to look up multiple elements in a large array in PHP? Simple experiment provides the answer.