function	showNavMsg(m)
{
	window.status = m;
	return(true);
}

function	do_nav(myURL)
{
	var             theFrame = document.getElementById("main");
	if (theFrame)
	{
       		 theFrame.src = myURL;
	}
	
}

function	intro_fast()
{
	
	do_nav("inhalt/intro_fast.htm");
	
}

function	intro_slow()
{
	
	do_nav("inhalt/intro_slow.htm");
	

}

// return file name for picture for intro ...

function	intro_pix()
{
	var		rn;
	
	rn = Math.floor(Math.random() * 7);
	
	rn = 1 + (rn%7);
	
	return("pix/intro_" + rn + ".jpg");
	//
}