function highlight(id) {
	try {
		if (id=='') {
			var id = window.location.pathname + window.location.search;
			id = id.replace(/\//g,'_');
			id = id.replace(/\./g,'_');
			id = id.replace(/\?/g,'_');
			id = id.replace(/=/g,'_');
			id = id.replace(/%20/g,'_');
			id = id.replace(/\ /g,'_');
			id = id.replace('-','_');
			id = id.replace('_','');
		}

		var lnk = document.getElementById(id);
		lnk.className = 'subnav_hl';
	}catch(err){};
}