"); a.document.writeln('