module T10487_M where

data Name = Name