function loadPage(url, navi_module)
{
  new Ajax.Updater('col1_content', url + '/', {asynchronous:true, evalScripts:true});
  var match = url.match(/^\/\w+_dev\.php/);
  var dev = (match ? match : '');
  dev = dev.toString();
  url = url.substring(dev.length, url.length);
  new Ajax.Updater('nav_main', dev + '/' + navi_module + '/topNavigation/', {asynchronous:true, evalScripts:false, parameters:{"url": url}});
  new Ajax.Updater('col3_content', dev + '/' + navi_module + '/2ndNavigation/', {asynchronous:true, evalScripts:false, parameters:{"url": url}});
  new Ajax.Updater('permalink', dev + '/permalink/show/', {asynchronous:true, evalScripts:false});
}