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

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