419 record holders meaning 419 divided into 495 million? would make the average hold a little less than a million shares.