var id = "content";
function load(page) {
  if(document.getElementById(id) != null)
		document.getElementById(id).setAttribute("src", page+".html");
	else
			location.replace(page+'.html');
}