function mtuser(username) {
  location.href = "mailto:" + username + "@cs.hku.hk";
}