Hippolytos is a boy's name.