                     b().replace(
                                                    /"/g,
                                                    String.fromCharCode(92) +
                                                        '"'
                                                ) +
                                                '");d.close();';
                                        }
                                        a.P(2);
                                    };
                                    