Deobfuscating the source of cast_receiver.js for the Google Chromecast