function bsdl_swap( over )
{
  // Check ability to get element.
  if( ! document.getElementById )
  {
    return;
  }

  // Get badge.
  var dlbadge = document.getElementById( "dlbadge" );

  // Swap source.
  dlbadge.src = over ? "site/template/pics/badge_over.jpg": "site/template/pics/badge.jpg";
}