1 //file which parses document body
3 function gatherlinks() {
5 for (var i= document.links.length; i-->0;){
6 urls.push(document.links[i].href);
7 console.log(document.links[i].href);
13 function downloadpage(url) {
14 var xmlhttp = new XMLHttpRequest();
17 xmlhttp.open("HEAD", url,true);
18 xmlhttp.onreadystatechange=function() {
19 if (xmlhttp.readyState==4) {
20 console.log(xmlhttp.getAllResponseHeaders());
21 console.log(xmlhttp.responseText);