function showSeparator(isShown) {
	if (isShown==true)
	  parent.document.getElementById('frameset').setAttribute('rows', '135,*', 0);
	else
	  parent.document.getElementById('frameset').setAttribute('rows', '105,*', 0);
}