<!--

if (screen.width == 800) {
var plaatje = "<script LANGUAGE='JavaScript' src='script/menu-800.js'></script>";
} 

else {
var plaatje = "<script LANGUAGE='JavaScript' src='script/menu-1024.js'></script>";
} 


document.write(plaatje);

//-->



