function stripHTML(oldString) {

return oldString.replace(/<&#91;^>&#93;*>/g, "");

}

function sync_menu(loc, doc, rfr) {

var menupath = parent.indexframe.location;
var pattern = new RegExp("loc=" + loc);
var today = new Date();
			
// dit gaat nog niet goed in de history!
parent.document.title='Meertens Instituut: ' + stripHTML(document.title);

if (((loc != "") && (loc != null)) || (rfr==1))
{
	if (parent.frames.length != 0) 
	{
		if (pattern.exec(menupath) == null) 
		{
            parent.indexframe.location.href="wdb.php?act=lst&loc=" + loc + "#" + doc;
		}
		if (rfr==1) 
		{
			d = today.getMinutes() + today.getSeconds();
			parent.indexframe.location.href = "wdb.php?trick=" + d + "&act=lst&loc=" + loc + "#" + doc ;
			
		}         
	}
}
}