function txtsize(size)
{  
if(size==1)
{
    document.getElementById("news_content_box").className="txt_big";
	  }   
 if(size==2){
    document.getElementById("news_content_box").className="txt_mid";
  } 
 if(size==3){
    document.getElementById("news_content_box").className="txt_small";
  } 
 }