<!--
function jslink(url){
	location.href = url;
}
function maillink(a, b){
	url = 'mailto:' + a + '@' + b;
	location.href = url;
}
//-->