for (i=0; i<document.links.length; i++){
	document.links[i].href='javascript:d("'+document.links[i].href+'");';
}