function launchPlayer(URL) {
day = new Date();
id = day.getTime();
eval("page" + id + " = window.open(URL, '" + id + "', 'toolbar=0,scrollbars=0,location=0,statusbar=0,menubar=0,resizable=1,width=275,height=120');");
}

function noSpam(user,domain) {
  locationstring = "mailto:" + user + "@" + domain;
  window.location = locationstring;
}