... by ordering the name
of a 7-month old baby
to be changed,

• from "Messiah"

  (listed on the Social Security
  Administration's 2012 list of
  popular baby names as the fourth
  fastest increasing in popularity),

• to "Martin."