var zuklapp_flag=-1;

function aufklapp(num) 
{
	//zuklappen stoppen
	zuklapp_flag=num;
	//setTimeout("zuklapp_flag="+num, 50);
	
    // Aufklappen sofort
	document.getElementById('n'+num).className='a';
	try {document.getElementById('nav'+num).style.visibility="visible";}catch(e){}
}

function zuklapp(num)
{
	// zuklappen erst nach 0,1 Sek.
	zuklapp_flag=-1;
	setTimeout("zuklapp1("+num+")", 50);
}

function zuklapp1(num) 
{
	if (zuklapp_flag==num) return;

	// onmouseout -> alles zuklappen 
		document.getElementById('n'+num).className='x';
		try{
			document.getElementById('nav'+num).style.visibility="hidden";
		}	
		catch(e){}
}