// Links in left menu.
var LEFT_MENU = new Array(5);
LEFT_MENU["Home"] = "index.html";
LEFT_MENU["Link 1"] = "link1.html";
LEFT_MENU["Link 2"] = "link2.html";
LEFT_MENU["Link 3"] = "link3.html";
LEFT_MENU["Link 4"] = "link4.html";

function populateLeftMenu()
{
  var menu = document.getElementById('leftMenu');
  menu.innerHTML = "Navigation<br />";
  
  var list = document.createElement("ul");
  for(item in LEFT_MENU)
  {
    var listItem = document.createElement("li");
    listItem.innerHTML = '<a href="' + LEFT_MENU[item] + '">' + item + '</a>';
    list.appendChild(listItem);
  }
  menu.innerHTML += list.innerHTML;
}