my $js_script_qfn = to_js_str_literal($script_qfn);

print $JSWRITE <<"__END__";
var filename = $js_script_qfn;
load('jslint.js');
END
__END__