/*
Written by: Jesse Houwing
Contact   : jesse@maximedia.nl
Date	  : 28-08-2002

place the following HTML in your script

<div id="nav" style="display:none; visibility: hidden;">
	<!-- Your code here -->
</div>
<script src="/includes/nav_update.js" language="JavaScript1.2" type="text/javascript" charset="UTF-8">
*/
iID=0;
if (!updatenav()){
	iID=window.setInterval(updatenav, 500);
}

function updatenav(){
	if (top.nav){
		try{
			if (document.getElementById) { data=document.getElementById("nav").innerHTML;	}
			else { data=document.all["nav"].innerHTML; }
			if (data!="") {
				if (document.getElementById) { top.nav.document.getElementById("bar").innerHTML=data; }
			  else { top.nav.document.all["bar"].innerHTML=data; }
			}
		} catch (e) { return false; }	
	}
	window.clearInterval(iID);
	return true;
}