function mapson(url) { var server="epfl.ch"; src=url+'@'+server; window.location.href ="mailto:"+src; }