function append_mail(user,domain,domain_ext,extend){
    var s='';
    s = user + '@' + domain + '.' + domain_ext;
    s = "<a href=" + "mail" + "to:" + s + ' ' + extend + ">" + s + "</a>";
    document.write(s);
}

function img_resize(img){
    if (img.style.height != 'auto') img.style.height = 'auto';
    else img.style.height = '100px';
}