function document_onMouseDown() {
if (event.button==2) {
    alert("Keuzemenu Holidayhomes");
}
 }
function ImageButton5_onMouseOver() {
window.status="Home";
return true;
 }
function _ImageButton5_onMouseOver() { if (ImageButton5) return ImageButton5.onMouseOver(); }
function ImageButton5_onMouseOut() {
window.status="";
return true;
 }
function _ImageButton5_onMouseOut() { if (ImageButton5) return ImageButton5.onMouseOut(); }
function ImageButton6_onMouseOver() {
window.status="Informatie";
return true;
 }
function _ImageButton6_onMouseOver() { if (ImageButton6) return ImageButton6.onMouseOver(); }
function ImageButton6_onMouseOut() {
window.status="";
return true;
 }
function _ImageButton6_onMouseOut() { if (ImageButton6) return ImageButton6.onMouseOut(); }
function ImageButton8_onMouseOver() {
window.status="Vragen";
return true;
 }
function _ImageButton8_onMouseOver() { if (ImageButton8) return ImageButton8.onMouseOver(); }
function ImageButton8_onMouseOut() {
window.status="";
return true;
 }
function _ImageButton8_onMouseOut() { if (ImageButton8) return ImageButton8.onMouseOut(); }
function ImageButton9_onMouseOver() {
window.status="Contact";
return true;
 }
function _ImageButton9_onMouseOver() { if (ImageButton9) return ImageButton9.onMouseOver(); }
function ImageButton9_onMouseOut() {
window.status="";
return true;
 }
function _ImageButton9_onMouseOut() { if (ImageButton9) return ImageButton9.onMouseOut(); }
function ImageButton1_onMouseOver() {
window.status="Inloggen";
return true;
 }
function _ImageButton1_onMouseOver() { if (ImageButton1) return ImageButton1.onMouseOver(); }
function ImageButton1_onMouseOut() {
window.status="";
return true;
 }
function _ImageButton1_onMouseOut() { if (ImageButton1) return ImageButton1.onMouseOut(); }
function ImageButton2_onMouseOver() {
window.status="aanmelden voor verhuurders";
return true;
 }
function _ImageButton2_onMouseOver() { if (ImageButton2) return ImageButton2.onMouseOver(); }
function ImageButton2_onMouseOut() {
window.status="";
return true;
 }
function _ImageButton2_onMouseOut() { if (ImageButton2) return ImageButton2.onMouseOut(); }