(9542) Eryan (Dictionary of Minor Planet Names, 2003)