function flipFrame(frame){
	var fr = window.top.document.getElementById(frame);
	var newCols = "0,*";
	if(fr.originalCols == undefined) {
		fr.originalCols = fr.cols;
	}
	fr.cols = fr.cols == newCols ? fr.originalCols : newCols;
}