img_link1_off = new Image(); img_link1_off.src = "images/deutsch_off.gif"; img_link1_on = new Image(); img_link1_on.src = "images/deutsch_on.gif";
img_link2_off = new Image(); img_link2_off.src = "images/english_off.gif"; img_link2_on = new Image(); img_link2_on.src = "images/english_on.gif";

function donothing() {}
function mousein(num) { document.images[eval("\"link" + num + "\"")].src = eval("img_link" + num + "_on.src"); }
function mouseout(num) { document.images[eval("\"link" + num + "\"")].src = eval("img_link" + num + "_off.src"); }