function checklinks(proxy) {
    var l=document.links;
    for (var i=0;i<l.length;i++) checklink(proxy,l[i])
}

function checklink(proxy,link) {
    var check=function(resp) {
	var ws=resp.split(" ")
	switch(ws[1]) {
	case "200": link.className="oklink"; break;
	default: link.className="badlink"; link.title=resp;
	}
    }
    http_get(proxy+link.href,check);
}