function changeFontSize() {
  var body = document.getElementById( 'main' );
  if( body.style.fontSize == '13px' || body.style.fontSize == '' ) {
    fontSizeUp();
  } else {
    fontSizeDown();
  }
}
function fontSizeUp() {
  var body = document.getElementById( 'main' );
  if( body != null ) {
	body.style.fontSize = '18px';
	//document.getElementsByTagName('a').style.fontSize = '16px';
  }
}
function fontSizeDown() {
  var body = document.getElementById( 'main' );
  if( body != null ) {
	body.style.fontSize = '13px';
	//document.getElementsByTagName('a').style.fontSize = '13px';
  }
}