function replacelinks(pre){
	var aEls = document.getElementsByTagName('a');
	for (var i = 0, aEl; aEl = aEls[i]; i++) {
		if (aEl.type != 'nochange')
			aEl.href = pre + escape(aEl.href);	
	}
}