function load_external_file(fn,id) {
  var X, Y, sl, a, ra, link;
  ra = /:/;
  a = location.href.search(ra);
  if (a == 2)
    X = 14;
  else
    X = 7;
  sl = "\\";
  Y = location.href.lastIndexOf(sl) + 1;
  if (id == 1)
  {
    Y = Y - 4
    link = 'file:///' + location.href.substring(X, Y) + 'Doc\\' + fn;
  } else if (id == 2) {
    Y = Y - 4
    link = 'file:///' + location.href.substring(X, Y) + 'Tutorials\\' + fn;
  } else {
    Y = location.href.lastIndexOf(sl) + 1;
    link = 'file:///' + location.href.substring(X, Y) + fn;
  }
  location.href = link;
}

function doSMenu (){
document.write('<h4>Select menu: ' + this.text + '</h4><p>')
}

function menutitle(text) {
   this.text = text
   this.doSMenu = doSMenu
   this.doSMenu()
}

function doShowMenu (){
document.write('<tr><td class=saTitle>Select menu: ' + this.text + '</td></tr>')
}

function menuaccess(text) {
   this.text = text
   this.doShowMenu = doShowMenu
   this.doShowMenu()
}