How to work this js script
<pre><code> &lt;script type="text/javascript"&gt;
     window.mod_pagespeed_prefetch_start = Number(new Date());
     window.mod_pagespeed_num_resources_prefetched = 15;
 &lt;/script&gt;
</code></pre>
