「はのん」ってのも、ここでよく見かける名前だね。へんな響きだと思うんだが。