/* Bild wechseln */
function wechsel(url) {
 window.document.images.bildname.src=url;
}