function decode_mail(obj){
	var linken=obj.href;
obj.href=linken.replace('[dot]','.').replace('[dot]','.').replace('[dot]','.').replace('[dot]','.').replace('[at]','@');
}