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