function change_fontcolor ($IdCode,$ColorCode) {
    $myobj=document.getElementById($IdCode);
    $myobj.style.color=$ColorCode;
}

function change_bodypage ($page_src) {
    document.getElementById('body_iframe').src = $page_src;
}

function menubckcolor ($page_id,$maxpage){
    var $td_id,$pagesrc;
    for($i=0;$i<=$maxpage;$i++){
       $td_id='table'+$i;
       if ( $page_id == $i){
          document.getElementById($td_id).setAttribute('class','selected');
       }else{
          document.getElementById($td_id).setAttribute('class','deselected');
       }
    }
}