function nofollow(n) {

	n = n.replace(/\^/, '@'); 
	n = n.replace(/\~/, 'mailto:');
	n = n.replace(/\`/, '.');
	n = n.replace(/\!/, 'http://');  
	document.location.href=n; 
}

function on_change() {
	var frame = document.getElementById('frame1');
	frame.submit();
}