Hirosetanso fue designado inicialmente como .