715407是陕西省渭南市韩城市王峰乡程家洞村的邮编，陕西省渭南市韩城市王峰乡程家洞村的下属街道自然村居委会及其地理管辖范围内的企业事业单位也使用此邮编。