// JavaScript Document
function $(o){
    return document.getElementById(o);
} 
function Hoverimg(n){ 
for(var i=1;i<=3;i++){
   $('ta_'+i).className='normaltab1';
   }
   $('ta_'+n).className='hovertab1'; 
   $('hotimgtop').src =$('hotimgtop'+n).src; 
}