[Abv-pb] WG17 tijd over