buildings=new Array;

function new_building(building_num, name) {
    buildings[building_num] = new Array();
    document.forms["MaintenanceForm"].elements["buildingID"].options[building_num] = 
        new Option(name, name);
}

function O(building_num, tenant_num, tenant_name) {
    buildings[building_num][tenant_num] = tenant_name;
}

function fill_tenants(building_num) {
  var options = document.forms["MaintenanceForm"].elements["tenantName"];
    options.length = buildings[building_num].length;
    for(var tenant_num = 0; tenant_num < buildings[building_num].length; ++tenant_num) {
        var tenant_name = buildings[building_num][tenant_num];
        options[tenant_num] = new Option(tenant_name, tenant_name);
    }
}

function new_type(type_num, id, name) {
    document.forms["MaintenanceForm"].elements["maintenanceRequestType"].options[type_num] = 
        new Option(name, id, name);
}