// -->

function bookmarksite(title, url){
if (document.all)
window.external.AddFavorite(url, title);
else if (window.sidebar)
window.sidebar.addPanel(title, url, "")
}

// op buttons
function setbut(pDiv,pOver) {
   if (typeof(pDiv.style) == 'undefined') {
        return false;
   }
  if (pOver) pDiv.className='prb prb2';
  else pDiv.className='prb';
}