It makes me wonder: what gov't agency is still using punch cards.