texas (125.542)