А дальше допиливается простеньким скриптом на коленке.
.replace(/_0x34f8\[\s*(\d+)\s*\]/g, function(a,b){return JSON.stringify(_0x34f8[+b])}).replace(/(\S)\["(\w[\w\d]*)"\]/g, '$1.$2')
итд. А чего ты хотел? Раз воруешь, будь готов хоть чуть-чуть поработать.
Воn что получилось после вышеприведённого скрипта, и немного работы с вышеприведёнными сайтами.