. . . "Some counties, such as Los Angeles, use paper punch cards." .