Where's ```encodeURI``` defined?