function bannerwahl(banner) { document.getElementById("banner").code.value = '

'; }