toej = new Image();
toej.src = "toej-over.gif";
tekstiler = new Image();
tekstiler.src = "tekstiler-over.gif";
sjov = new Image();
sjov.src = "sjov-over.gif";
praktiske = new Image();
praktiske.src = "praktiske-over.gif";

function changepic(img_name,img_src) {
	document[img_name].src=img_src;
}