function highlight() {
var url = /(\w+):\/\/([\w.]+)\/([\w\-]*?)\.html/;
var result = location.href.match(url);
//alert(result[3]);
var div = '#'+result[3];
if ($(div).hasClass('dup')) {div = div + '2';}
//alert (div + ' - ' + $(div).hasClass('dup'));
$(div).addClass('bold_text');
return true;
}