function setMinimumDigits(num, digits) {
var str = num.toString();
while (str.length<digits) {
str = "0"+str;
}
return (str);
}
String.prototype.decodeNotation = function() {
var arr:Array = this.split("\\\\u");
var l:Number = arr.length;
while (l--) {
var s = arr[l];
arr[l] = String.fromCharCode(parseInt(substring(s, 0, 4), 16))+substring(s, 5, -1);
}
return arr.join("");
};
String.prototype.encodeNotation = function() {
var s:String = "";
for (var i = 0; i<this.length; i++) {
var d = this.charCodeAt(i);
var c = this.charAt(i);
if (d<127) {
s += c;
} else {
s += "\\u"+setMinimumDigits(d.toString(16).toUpperCase(), 4);
}
}
return s;
};