function contact(mailID,domain,txt,display) {
    <!--
    domain = (typeof(domain) != 'undefined' && domain != '') ? domain : 'epfl.ch'
    txt = (typeof(txt) != 'undefined' && txt != '') ? txt : mailID + '@' + domain
    display = (typeof(display) != 'undefined') ? display : ''
    style = (display.substr(0,1) == 'p') ? ' class=\"path\"' : ''
    mytxt = '<a href=mailto:' + mailID + '@' + domain + style + '>' + txt + '<\/a>'
    if (display.substr(0,1) == 'n') {
         mytxt = mailID + '@' + domain
    }
    document.write(mytxt)
    // -->
}