//<![CDATA[

function sm(name, server) {
  document.write(" <a href=mailto:"+name+"@"+server+".com>"+name+"<\a> at " + server);
}

function reconstruct() {

	// ------------ Header ------------
	var headdiv1 = "<h1><img src='style/header.gif'\/><\/h1>";
	// var headdiv2 = "<p><a href='http://www.huji.ac.il'>The Hebrew University of Jerusalem<\/a><\/p>";
	// var headerDiv= "<div class='header'>" + headdiv2 + headdiv1+toggleMenuDiv+"<hr\/><\/div>";
	var headerDiv = "<div class='header'>" + headdiv1 + "<hr\/><\/div>";
	// ------------------------------------
	
	var url=new String(window.location);
	var currentFile=url.substr(url.lastIndexOf("/")+1); 
	var currentClass=currentFile.substr(0,currentFile.indexOf(".")); 			
	
	// ----------- Menu --------------
	var contents = [
	    ["Home Page","home.html"],
	    ["People","people.html"],
	    ["Fairplay" ,"fairplay.html"],   
	    ["FairplayMP","fairplayMP.html"],
	    ["Papers","papers.html"],
	];
	
	var menuDiv = "<div id='leftmenu' class='menu'><ul>\n";
	for (var i in contents) {    
	    if(contents[i][1]!=currentFile) {
	          menuDiv += "<li><a href='" + contents[i][1] + "'>" + contents[i][0] + "<\/a><\/li>\n";
	      }
	      else {
	          menuDiv += "<li><b>" + contents[i][0] + "<\/b><\/li>\n";
	      }
	}
	menuDiv += "<\/ul><\/div>\n";
	
	
	// --------------------------------------
	
	var leftDiv = "<div class='left'>" + menuDiv + "<\/div>\n";
	
	document.body.innerHTML = headerDiv + leftDiv + "<div id='main111' class='main "
								+ currentClass + "'>" + document.body.innerHTML + "<\/div>";
	
	theMenuDiv = (document.getElementById("leftmenu"));
	theMainDiv = (document.getElementById("main111"));
	
	leftOfMain = "13";
	
	theMainDiv.style.left = leftOfMain + "em";
	theMenuDiv.style.display = "block";
	document.body.style.display = "block";
}

//]]>