var lastID;
var lastClassName;

function LoadFrame(url, id, className)
{
    var obj;
    
    obj = document.getElementById(lastID);
    if (obj != null) obj.className = lastClassName;
    
    obj = document.getElementById('fraContent');
    if (obj != null) obj.src = url;
    
    obj = document.getElementById(id);
    if (obj != null) obj.className = className + "Selected";
    
    lastID = id;
    lastClassName = className;
    
    ResizeFrame();
}
function ResizeFrame()
{
    var obj;
    var divHeight;
    
    obj = fraContent.document.getElementById("divContent");
    if (obj != null)
    {
        divHeight = obj.offsetHeight;
    }
    obj = document.getElementById("fraContent");
    if (obj != null)
    {
        if (divHeight != null) obj.style.height = divHeight + "px";
    }
}