function showLayer(obj) {
  var div = null ;
  if (document.getElementById){
    div = document.getElementById(obj);
  }else if (document.all){
    div = document.all[obj];
  }else if (document.layers){
    div = document.layers[obj];
  }
  
  if (!div) {	}
  else if (div.style){
    if (div.style.display != 'none') {
      div.style.display = 'none';
    }else{
      div.style.display = 'block';
    }
  }else{
    if (div.visibility == 'hidden'){
      div.visibility = 'show';
    }else{
      div.visibility = 'hidden';
    }
  }  
}

function hideLayer(obj) {
  var div = null ;
  if (document.getElementById){
    div = document.getElementById(obj);
  }else if (document.all){
    div = document.all[obj];
  }else if (document.layers){
    div = document.layers[obj];
  }
  
  if (!div) {	}
  else if (div.style){
      div.style.display = 'none';
  }else{
      div.visibility = 'hidden';
  }  
}

function getElementsByClassName(cn){
  var arr = new Array(); 
  var els = document.getElementsByTagName("*");
  var exp= new RegExp("^(.* )?"+cn+"( .*)?$", "g");
  for (var i = 0; i < els.length; i++ ){
    if (exp.test(els[i].className)){
      arr.push(els[i]);
    }
  }
  return arr;
} 

function changeFontSize(size) {
  var i, a, px;
  px = size ;
  a = getElementsByClassName('f_text') ;
  for (i=0; i<a.length; ++i) {
    a[i].style.fontSize = px + 'px';
  }
  a = getElementsByClassName('f_title') ;
  for (i=0; i<a.length; ++i) {
    a[i].style.fontSize = px + 'px';
  }
  a = getElementsByClassName('boxCenterMain') ;
  for (i=0; i<a.length; ++i) {
    a[i].style.fontSize = px + 'px';
  }
  a = document.getElementsByTagName('td') ;
  for (i=0; i<a.length; ++i) {
    a[i].style.fontSize = px + 'px';
  }
  Set_Cookie('pageFontSize',size,30,'/') ;
}

function Set_Cookie( name, value, expires, path, domain, secure ) {
  // set time, it's in milliseconds
  var today = new Date();
  today.setTime( today.getTime() );

  /*
  if the expires variable is set, make the correct 
  expires time, the current script below will set 
  it for x number of days, to make it for hours, 
  delete * 24, for minutes, delete * 60 * 24
  */
  if ( expires ) {
    expires = expires * 1000 * 60 * 60 * 24;
  }
  var expires_date = new Date( today.getTime() + (expires) );

  document.cookie = name + "=" +escape( value ) +
    ( ( expires ) ? ";expires=" + expires_date.toGMTString() : "" ) + 
    ( ( path ) ? ";path=" + path : "" ) + 
    ( ( domain ) ? ";domain=" + domain : "" ) +
    ( ( secure ) ? ";secure" : "" );
}

function Get_Cookie( name ) {
  var start = document.cookie.indexOf( name + "=" );
  var len = start + name.length + 1;
  if ( ( !start ) &&
  ( name != document.cookie.substring( 0, name.length ) ) )
  {
  return null;
  }
  if ( start == -1 ) return null;
  var end = document.cookie.indexOf( ";", len );
  if ( end == -1 ) end = document.cookie.length;
  return unescape( document.cookie.substring( len, end ) );
}

function setFontSize() {
  var c = Get_Cookie('pageFontSize') ;
  if(c != "")
    changeFontSize(c) ;
}