function strip(s){
return stripRight(stripLeft(s));
}
function stripLeft(s){
if(s == null) return "";
return s.replace(/^[\s\t\n\r]+/,"");
}
function stripRight(s){
if(s == null) return "";
return s.replace(/[\s\t\n\r]+$/,"");
}
function endswith(origin, value){
let real = origin.substr(origin.length - value.length, value.length);
return real === value
}
function startswith(origin, value){
let real = origin.substr(0, value.length);
return real === value
}
function replaceAll(string, key, value){
return string.replace(new RegExp(key,'g'), value);
}