//
// language.js
// Copyright 2007 Tomoko Kinoshita and Stuart Jones
// SAJ  2007.04.60  Added language switching.
//
addEventSimple(window, 'load', showLanguageChooser);

function showLanguageChooser() {
  if (!W3CDOM) return;

  // Work out the page name
  var url = location.href;
  var pageName = url.substring(url.lastIndexOf('/') + 1);
  
  // If it starts "j_" then it's Japanese; otherwise English
  var displayText;
  if (pageName.indexOf('j_') == 0) {
    displayText = 'English';
    pageName = pageName.substring(2);
  } else {
    displayText = '日本語';
    pageName = 'j_' + pageName;
  }
  
  var languageChooser = document.createElement('a');
  languageChooser.className = 'lang';
  languageChooser.appendChild(document.createTextNode(displayText));
  languageChooser.href = pageName;
  
  // Add the link into the DIV called "container" (the toppermost menu)
  // (actually this isn't necessary because we ended up using
  // absolute positioning, but what the hey).
  document.getElementById('container').appendChild(languageChooser);
}

// Thanks to PPK
var W3CDOM = document.createElement && document.getElementsByTagName;

function addEventSimple(obj,evt,fn) {
  if (obj.addEventListener)
    obj.addEventListener(evt,fn,false);
  else if (obj.attachEvent)
    obj.attachEvent('on'+evt,fn);
}