function sel(what) {
	if (top.frames.length == 0) {
		top.location = 'index.php?frame='+what;
	}
	else {
		if(parent.document.that) parent.document.that.className='menuopt';
		parent.document.getElementById(what).className='menuopt-sel';
		parent.document.that = parent.document.getElementById(what);
	}
}