function ids() {
var eml_list = document.getElementsByTagName('dfn');
for (var no=0; no < eml_list.length; no++ ){
eml1 = eml_list[no];
eml1.innerHTML = "info";
eml1.innerHTML += "@";
eml1.innerHTML += "rishang.ru";
}
}