function andereKleur(theRow, thePointerColor)
{
    if (typeof(theRow.style) == 'undefined' || typeof(theRow.cells) == 'undefined') {
        return false;
    }

    var row_cells_cnt = theRow.cells.length;
    for (var c = 0; c < row_cells_cnt; c++) {
        theRow.cells[c].bgColor = thePointerColor;
    }

    return true;
}

function anderHotel(formulier){
var hotel=formulier.hotel.options[formulier.hotel.selectedIndex].value;
document.location="index.php?module=hotels&hotel="+hotel+"";
}