"") { $bannerndc = $webbannerndc[$_GET['aanbieder']]; } else { $bannerndc = $webbannerndc["wo"]; } ?>