function getByID(id) {
    var retValue
    if (document.getElementById)
        retValue = document.getElementById(id);
    else if (document.all)
        retValue = document.all[id];
    else if (document.layers)
        retValue = document.layers[id];
    return retValue;
}

function AutoTableFillHeight(id) {
    var table = getByID(id);
    table.style.height = String(document.documentElement.clientHeight - 20) + "px";
}

function ChangeClass(element, className) {
    element.className = className;
}

function NavToURL(url) {
    window.location.href = url;
}

function ChangePicture(picID, url) {
    var img = getByID(picID);
    img.src = url;
}