//detect browser:
browserName = navigator.appName;
browserVer = parseInt(navigator.appVersion);
if (browserName == "Netscape" && browserVer >= 3) browserVer = "1";
else if (browserName == "Microsoft Internet Explorer" && browserVer == 4) browserVer = "1";
else browserVer = "2";

//preload images:
if (browserVer == 1) {
cafe1 = new Image();
cafe1.src = "buttons/splashbutton_cafe.jpg";
cafe2 = new Image();
cafe2.src = "buttons/splashbutton_cafe_rollover.jpg";

catering1 = new Image();
catering1.src = "buttons/splashbutton_catering.jpg";
catering2 = new Image();
catering2.src = "buttons/splashbutton_catering_rollover.jpg";

restaurant1 = new Image();
restaurant1.src = "buttons/splashbutton_restaurant.jpg";
restaurant2 = new Image();
restaurant2.src = "buttons/splashbutton_restaurant_rollover.jpg";

fotoalbum1 = new Image();
fotoalbum1.src = "buttons/splashbutton_fotoalbum.jpg";
fotoalbum2 = new Image();
fotoalbum2.src = "buttons/splashbutton_fotoalbum_rollover.jpg";

inleiding1 = new Image();
inleiding1.src = "buttons/splashbutton_inleiding.jpg";
inleiding2 = new Image();
inleiding2.src = "buttons/splashbutton_inleiding_rollover.jpg";

openingstijden1 = new Image();
openingstijden1.src = "buttons/splashbutton_openingstijden.jpg";
openingstijden2 = new Image();
openingstijden2.src = "buttons/splashbutton_openingstijden_rollover.jpg";

contact1 = new Image();
contact1.src = "buttons/splashbutton_contact.jpg";
contact2 = new Image();
contact2.src = "buttons/splashbutton_contact_rollover.jpg";


route1 = new Image();
route1.src = "buttons/splashbutton_route.jpg";
route2 = new Image();
route2.src = "buttons/splashbutton_route_rollover.jpg";

nieuws1 = new Image();
nieuws1.src = "buttons/splashbutton_nieuws.jpg";
nieuws2 = new Image();
nieuws2.src = "buttons/splashbutton_nieuws_rollover.jpg";

}

//image swapping function:
function Menu(imgDocID, imgObjName, comment) {
if (browserVer == 1) {
document.images[imgDocID].src = eval(imgObjName + ".src");
window.status = comment; return true;
}}