/* automatically generated by JSCoverage - do not edit */
if (! top._$jscoverage) {
  top._$jscoverage = {};
}
var _$jscoverage = top._$jscoverage;
if (! _$jscoverage['@PREFIX@1/2/2.js']) {
  _$jscoverage['@PREFIX@1/2/2.js'] = [];
  _$jscoverage['@PREFIX@1/2/2.js'][1] = 0;
}
_$jscoverage['@PREFIX@1/2/2.js'][1]++;
alert("This is 2");
_$jscoverage['@PREFIX@1/2/2.js'].source = ["alert(\"This is 2\");"];
