// Bilder definieren

home_n = new Image();   home_n.src = "home_n.gif";
home_i = new Image();   home_i.src = "home_i.gif";
public_n = new Image(); public_n.src = "public_n.gif";
public_i = new Image(); public_i.src = "public_i.gif";
discol_n = new Image(); discol_n.src = "discol_n.gif";
discol_i = new Image(); discol_i.src = "discol_i.gif";
links_n = new Image(); links_n.src = "links_n.gif";
links_i = new Image(); links_i.src = "links_i.gif";
lang_n = new Image(); lang_n.src = "deutsch_n.gif";
lang_i = new Image(); lang_i.src = "deutsch_i.gif";

function Bildwechsel(Bildnr,Bildobjekt){window.document.images[Bildnr].src = Bildobjekt.src;}

function fenstergroesse(x,y) {window.outerHeight = y;window.outerWidth = x;location.reload();}