function get_rules(){
	var div_content = document.getElementById('indexedsearch_rules_typo').innerHTML;
	document.getElementById('search_rule').innerHTML = div_content;
}

function print_m(domain, user, output){
	var send_to = user + "@" + domain;
	if(output == 1){
		var text_m = send_to;
	}else{
		var text_m = 'Email';
	}
	var address = "mailto:" + send_to;
	document.write('<a href="'+address+'" class="adressfooter">'+text_m+'</a>');
}