Velarde city phone area codes