/* Sjekker om brukeren bruker www.nrk.no og redirecter hvis ikke */
if (document.location.href.indexOf('nrk.no') > -1 && document.location.href.indexOf('www.nrk.no') < 0) {
  var querystring = document.location.href.substring(document.location.href.indexOf("nrk.no") + "nrk.no".length);
  document.location.href = 'http://www.nrk.no' + querystring;
}