function goarticle( el )
{
  var id = el.getAttribute("id").substring( 3 );
  document.location = '?type=article&id=' + id;  
};

function articleover( el )
{
  el.style.borderBottom = "#000000 1px solid";
  el.style.borderTop = "#000000 1px solid";
};

function articleout( el )
{
  el.style.borderBottom = "#FFFFFF 1px solid";
  el.style.borderTop = "#FFFFFF 1px solid";
};