function $(id)
{
	return document.getElementById(id);
}
function ch1()
{
    		$("d1").style.display="";
			$("d2").style.display="none";
			$("s1").className="";
			$("s2").className="top_companyfile1"	;		
}
function ch2()
{
    		$("d1").style.display="none";
			$("d2").style.display="";		     		
			$("s1").className="top_companyfile1";
			$("s2").className="";
}