js povolený má, jinak bys nevěděl jeho rozlišení.
Jednoduše vezmeš ten kód a nahraješ ho do souboru jmeno.js.

Do kteréhokoliv HTML souboru potom kamkoliv napíšeš:

<script src="jmeno.js"></script>

(soubor musí být dostupný pro server).

Pak bych to ještě pojistil přes header a cookie pro případ, že by ho napadlo vypnutí js.

//update:

Nejlepší by ale bylo zjistit, jak se hlásí jeho prohlížeč (user agent) a jednoduše mu stránku nezobrazit.