function changedotimg(onum){
  for(i=0;i<7;i++){
    var imgobj=eval("document.all.img"+i);
    var txtobj=eval("document.all.txt"+i);
    if(onum==i){
      imgobj.src="images/hnedutv.gif";
      txtobj.style.display="block";
	  imgobj.style.color="#d20000";
    }else{
      imgobj.src="images/dot1px.gif";
      txtobj.style.display="none";
	  imgobj.style.color="#333333";
    }
  }
}