function Email(s) { window.location = "mailto:" + s.replace("[op]","@"); }