function menuSync(docID) {
	menuLink=location.pathname.split(".nsf")[0]+".nsf/menuframe/"+docID+"?OpenDocument";
	wpm=window.parent.menu;
	if(window.parent)
		if(wpm)
			if(wpm.location.href.toLowerCase().split(".nsf")[0]==location.href.toLowerCase().split(".nsf")[0])
				setTimeout("wpm.location='"+menuLink+"'",10);
	return false;
	}