// JavaScript Document
var ajx_flg;
function setFontSize(font_size)
{
   //if(font_size == undefined)
   //font_size = 11;	
   
   ajx_flg = font_size;
  // alert(font_size);
   var td = document.getElementsByTagName('td');
   for(i=0;i<td.length;i++)
   {
      	td[i].style.fontSize = font_size+"px";
   }

   var p= document.getElementsByTagName('p');
   for(i=0;i<p.length;i++)
   {
      p[i].style.fontSize = font_size+"px";	
   }

   var a= document.getElementsByTagName('a');
   for(i=0;i<a.length;i++) {
      a[i].style.fontSize = font_size+"px";  	
   }
   
   var spn= document.getElementsByTagName('span');
   for(i=0;i<spn.length;i++) {
      spn[i].style.fontSize = font_size+"px"; 	
   }

   var news_div = document.getElementById("record_table");
   
   //alert("This browser is version " + navigator.appVersion);
   //alert(" of <B>" + navigator.appName + "</B>.");
   
   if(font_size == '13')
   	news_div.style.height = '480px';
   else if(font_size == '11')
	news_div.style.height = '405px';
   else if(font_size == '10')
   {
	   if(navigator.appName == "Opera")
	   	  news_div.style.height = '405px';
	   else
	   	  news_div.style.height = '330px'; 	
   }
}

function setSmallClass(font_size)
{
	var spn= document.getElementsByTagName('span');
	for(i=0;i<spn.length;i++) {
		if(spn[i].className == "style5" || spn[i].className == "newstyle5")
			spn[i].className = "sml_style5";
		else if(spn[i].className == "style6" || spn[i].className == "newstyle6")
			spn[i].className = "sml_style6";
		else if(spn[i].className == "style7" || spn[i].className == "newstyle7")
			spn[i].className = "sml_style7";
		else if(spn[i].className == "style8" || spn[i].className == "newstyle8")
			spn[i].className = "sml_style8";
		else
			spn[i].style.fontSize = font_size+"px"
	}

	var td = document.getElementsByTagName('td');
	for(i=0;i<td.length;i++){
		td[i].style.fontSize = font_size+"px";
	}
	
	var p= document.getElementsByTagName('p');
	for(i=0;i<p.length;i++) {
	p[i].style.fontSize = font_size+"px";	
	}
	
	var a= document.getElementsByTagName('a');
	for(i=0;i<a.length;i++) {
		a[i].style.fontSize = font_size+"px"; 	
	}
}

function setOriginalClass(font_size)
{
	var spn= document.getElementsByTagName('span');
	for(i=0;i<spn.length;i++) {
		
		if(spn[i].className == "style5" || spn[i].className == "newstyle5" || spn[i].className == "sml_style5")
			spn[i].className = "style5";
		else if(spn[i].className == "style6" || spn[i].className == "newstyle6" || spn[i].className == "sml_style6")
			spn[i].className = "style6";
		else if(spn[i].className == "style7" || spn[i].className == "newstyle7" || spn[i].className == "sml_style7")
			spn[i].className = "style7";
		else if(spn[i].className == "style8" || spn[i].className == "newstyle8" || spn[i].className == "sml_style8")
			spn[i].className = "style8";
		else
			spn[i].style.fontSize = font_size+"px";
	}

	var td = document.getElementsByTagName('td');
	for(i=0;i<td.length;i++){
		td[i].style.fontSize = font_size+"px";
	}
	
	var p= document.getElementsByTagName('p');
	for(i=0;i<p.length;i++) {
	p[i].style.fontSize = font_size+"px";	
	}
	
	var a= document.getElementsByTagName('a');
	for(i=0;i<a.length;i++) {
		a[i].style.fontSize = font_size+"px";  	
	}

}

function setLargeClass(font_size)
{
	var spn= document.getElementsByTagName('span');
	for(i=0;i<spn.length;i++) {
		
		if(spn[i].className == "style5" || spn[i].className == "newstyle5" || spn[i].className == "sml_style5")
			spn[i].className = "newstyle5";
		else if(spn[i].className == "style6" || spn[i].className == "newstyle6" || spn[i].className == "sml_style6")
			spn[i].className = "newstyle6";
		else if(spn[i].className == "style7" || spn[i].className == "newstyle7" || spn[i].className == "sml_style7")
			spn[i].className = "newstyle7";
		else if(spn[i].className == "style8" || spn[i].className == "newstyle8" || spn[i].className == "sml_style8")
			spn[i].className = "newstyle8";
		else
			spn[i].style.fontSize = font_size+"px";
	}

	var td = document.getElementsByTagName('td');
	for(i=0;i<td.length;i++){
		td[i].style.fontSize = font_size+"px";
	}
	
	var p= document.getElementsByTagName('p');
	for(i=0;i<p.length;i++) {
	p[i].style.fontSize = font_size+"px";	
	}
	
	var a= document.getElementsByTagName('a');
	for(i=0;i<a.length;i++) {
		a[i].style.fontSize = font_size+"px"; 	
	}
}