function json_decode($str, $assoc=false){
    if(preg_match('/\w:/', $str)){
        $str = preg_replace('/(\w+):/is', '"$1":', $str);
    }
    return json_decode($str, $assoc);
}