function broken(url){
	if(window.confirm("Do you want to report "+url+" as a broken link?"))
		window.open("other/links_broken.php?"+url,"comp_win","width=200,height=100,left=200,top=200,screenX=200,screenY=200");
}