How old is Hotaru Ichijou?