function OpenPopup(url)
{
    window.open(url, "popup", "toolbar=0,location=0,menubar=0,directories=0");
    return false;
}

function LoadDocument(path)
{
	new Ajax.Request(path, {
					method: "GET",
					onSuccess: function(t) {
						var cont = document.createElement("div");
						cont.innerHTML = t.responseText;
						for (var i = 0; i < $("divDocumentation").childNodes.length; i++)
						{
							$("divDocumentation").removeChild($("divDocumentation").childNodes[i])
						}
						$("divDocumentation").appendChild(cont);
					}
				});
	return false;
}