(the song is "Texas, Our Texas" - official state song)