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.