function menuclose()
{
	mnu=document.getElementById('ma');  mnu.style.height =  16;
	mnu=document.getElementById('mb');  mnu.style.height =  16;
	mnu=document.getElementById('mc');  mnu.style.height =  16;
}

	
function menuit(wich,hi)
{
	m=document.getElementById(wich);					
	h=m.style.height.split('px')[0] ;
	menuclose();		
	if ( h > 16 )  {  m.style.height = 16; }
	else           {  m.style.height = hi; }
}

	
function displayit(hhh)
{
	parent.frames["displayer"].location.href = hhh;
}