725300是陕西省安康市紫阳县高桥镇洞池村的邮编，陕西省安康市紫阳县高桥镇洞池村的下属街道自然村居委会及其地理管辖范围内的企业事业单位也使用此邮编。