<!--

if (screen.width == 800) {

var plaatje = "<script LANGUAGE='JavaScript' src='../scripts/menu-l-800-2.js'></script>";
} else {

var plaatje = "<script LANGUAGE='JavaScript' src='../scripts/menu-l-1024-2.js'></script>";
}

document.write(plaatje);

//-->


