rendered paste body<script type="text/javascript">
function makeRequest (divElement, url)
{
var http;
if (window.ActiveXObject)
{
http = new ActiveXObject("Microsoft.XMLHTTP");
} else {
http = new XMLHttpRequest;
}
http.onreadystatechange = function ()
{
printContent(http);
};
http.open('GET', url, true);
http.send(null);
}
function printContent(http, divElement)
{
if (http.readyState == 4)
{
if (http.status == 200)
{
document.getElementById(divElement).innerHTML = http.responseText;
}
}
}
</script>