var d=document;
function $(id) {return d.getElementById(id);}
if (top.location!=self.location) top.location=self.location.href;
function morenews($j) {$('more'+$j).style.display='block'; $('short'+$j).style.display='block'; $('long'+$j).style.display='none';}
function lessnews($j) {$('more'+$j).style.display='none'; $('long'+$j).style.display='block'; $('short'+$j).style.display='none';}