// JavaScript Document
function getPageStyle(){
 if(typeof( window[ 'pageStyle' ] ) != "undefined"){
                    document.getElementById('catS').className ='catDiv catColorStyle'+pageStyle;            
}
}

function MM_jumpMenu(targ,selObj,restore){ //v3.0
  eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
  if (restore) selObj.selectedIndex=0;
}