texas (172.545)