<!-- 
///////////////////////////////////////////////////
//	statusbar.js				 //
//	write text in netscape statusbar         //
//	15. mar 1998 jules / bermuda	   	 //
///////////////////////////////////////////////////


function statBar(statTxt) {
	top.window.status = statTxt ;
}
// -->