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('_','');
		}

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