7 ms·

Best of luck to JPLers. I know someone who was laid off. These are some inordinately talented people.