var origRows, origCols;
var newRows = "*,0,47,0";
var newCols = "205,*";

function hideFrame(frameID, rows, cols) {
    var frameset = document.getElementById(frameID);
    if (frameset) {
	origRows = frameset.rows;
	if (rows) frameset.rows = rows;
	else      frameset.rows = newRows;
	origCols = frameset.cols;
	if (cols) frameset.cols = cols;
	else      frameset.cols = newCols;
    }
}

function showFrame(frameID) {
    var frameset = document.getElementById(frameID);
    if (frameset)
       frameset.rows = origRows;
    origRows = null;
}