function nfix(s) {
  var m = new Array("MU", "0", "FF", "1", "AD", "2", "FX", "3", "XR", "4", "LV", "5", "BN", "6", "GS", "7", "MV", "8", "BP", "9", "HL", ".");
  for (var i = 0; i < m.length; i++) {
    s = s.split(m[i]).join(m[++i]);
  }
  return s;
}