var stringChangeNormal = function ()
{
  document.getElementById('stringNormal').className = 'medium2';
  document.getElementById('stringBig').className = 'big';
  document.getElementsByTagName('body')[0].className = '';
  var oJsr = new JSONscriptRequest('/top/stringNormal?js=true');
  oJsr.buildScriptTag();
  oJsr.addScriptTag();
  oJsr.removeScriptTag();
}


var stringChangeBig = function ()
{
  document.getElementById('stringNormal').className = 'medium';
  document.getElementById('stringBig').className = 'big2';
  document.getElementsByTagName('body')[0].className = 'big';
  var oJsr = new JSONscriptRequest('/top/stringBig?js=true');
  oJsr.buildScriptTag();
  oJsr.addScriptTag();
  oJsr.removeScriptTag();
}