Himno del ICE: vocal - Chaves Rojas, José Angel; Estrada Arias, Rubén 1959- (ICE)