<!-- 
if (document.images) {

home = new Image();
home.src = "/img/home_on.gif";

disc = new Image();
disc.src = "/img/discussie_on.gif"

repo = new Image();
repo.src = "/img/reportage_on.gif"

colo = new Image();
colo.src = "/img/colofon_on.gif"
}
// -->