<!--
var url=document.location;
var caption = document.title;
var txt = '<img src="images/fav.gif" width=14 height=13 border=0>&nbsp;Bookmark This Page</a>';
var ver = navigator.appName;
var num = parseInt(navigator.appVersion);
if ((ver == 'Microsoft Internet Explorer') && (num >= 4)){
  document.write ('<a href="javascript:window.external.AddFavorite(url,caption);" class="nav">'+txt);
}else{
  txt += '  [Ctrl+D]';
  document.write(txt);
}
//-->