python3 get_vxlan_id_from_domain_seed.py domain_seed