var stringChangeNormal = function ()
{
  document.getElementById('stringNormal').className = 'sizeMdl-on';
  document.getElementById('stringBig').className = 'sizeBig';
  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 = 'sizeMdl';
  document.getElementById('stringBig').className = 'sizeBig-on';
  document.getElementsByTagName('body')[0].className = 'big';
  var oJsr = new JSONscriptRequest('/top/stringBig?js=true');
  oJsr.buildScriptTag();
  oJsr.addScriptTag();
  oJsr.removeScriptTag();
}