function proper_split_msie(s, re) {
  var results = [];
  while(s.match(re)) {
    results.push(RegExp.leftContext);
    results.push(RegExp.$1);
    s = s.substr(RegExp.leftContext.length + RegExp.$1.length);
  }
  results.push(s);
  return results;
}