// JavaScript Document
  var last_link = null;
  function activate(id1)
	  {
		  if( last_link != null ) last_link.className = "#";
		  var the_selection = document.getElementById(id1);
		  the_selection.className = "current";
		  last_link = the_selection;

	  }

  function activateTop(id2)
	  {
		  var the_selection1 = document.getElementById(id2);
		  the_selection1.className = "current";
	  }