712200是陕西省咸阳市武功县代家乡大韩村的邮编，陕西省咸阳市武功县代家乡大韩村的下属街道自然村居委会及其地理管辖范围内的企业事业单位也使用此邮编。