string decodeURI(encodedURI:string)
Returns a decoded string restoring all escaped characters that might have been escaped by encodeURI. It will not alter escaped characters which encodeURI would not convert. It will not change a hash (#), as is explicitly noted.
function decodeURI(encodedURI){
var uriString = ToString(encodedURI);
var reservedURISet = GetUriReservedCharacters() + '#'; // see 15.1.3
return Decode(uristring, reservedURISet);
}