function show_rss(url)
{
  var imgDest = document.getElementById('rss');
  var imgSrc = url+'/images/rss_icon_hover.png';
  imgDest.setAttribute("src", imgSrc);
}

function hide_rss(url)
{
  var imgDest = document.getElementById('rss');
  var imgSrc = url+'/images/rss_icon.png';
  imgDest.setAttribute("src", imgSrc);
}