// Images for the navigation buttons:
var navButtons = new Array();
    navButtons[0] = new Image(84,31);
    navButtons[1] = new Image(84,31);
    navButtons[2] = new Image(84,31);
    navButtons[3] = new Image(84,31);
    navButtons[4] = new Image(84,31);
    navButtons[5] = new Image(84,31);
    navButtons[6] = new Image(82,39);
    navButtons[7] = new Image(82,39);
    navButtons[8] = new Image(82,39);
    navButtons[9] = new Image(82,39);
    navButtons[10] = new Image(82,39);
    navButtons[11] = new Image(82,39);

    navButtons[0].src = '/images/global/button-contact.png';
    navButtons[1].src = '/images/global/button-contact-hover.png';
    navButtons[2].src = '/images/global/button-contact-active.png';
    navButtons[3].src = '/images/global/button-events.png';
    navButtons[4].src = '/images/global/button-events-hover.png';
    navButtons[5].src = '/images/global/button-events-active.png';
    navButtons[6].src = '/images/global/button-policies.png';
    navButtons[7].src = '/images/global/button-policies-hover.png';
    navButtons[8].src = '/images/global/button-policies-active.png';
    navButtons[9].src = '/images/global/button-rentals.png';
    navButtons[10].src = '/images/global/button-rentals-hover.png';
    navButtons[11].src = '/images/global/button-rentals-active.png';