// $Id: frames.js,v 1.1 2003/01/14 18:39:21 paddy Exp $
function resizeFrames()
{
    if (document.getElementById)
    {
        var fs = document.getElementById("fs") ;
    }
    else
    {
        var fs = document.all.fs ;
    }

    if (fs)
    {
        rows = fs.rows ;

        var newRows = "" ;
        frameSizes = rows.split(",") ;

        nFrames = frameSizes.length ;

        for (var i = 0 ; i < nFrames ; i++)
        {
            frameSize = frameSizes[i] ;

            if (frameSize.indexOf("*")==-1)
            {
                d = window.frames[i].document ;

                if (d.height)
                {
                    y = d.height ;
                }
                else
                {
                    y = d.body.scrollHeight ;
                }

                if (i>0)
                    newRows += "," ;

                newRows += y ;
            }
            else
            {
                if (i>0)
                    newRows += "," ;

                newRows += "*" ;
            }
        }

        if (fs.rows != newRows)
        {
            fs.rows = newRows;
        }
    }

    return false;
}