<!-- Author: Todd A. Green -->
function check_referer(url) {
  if ((document.referrer.indexOf('pgweb.org') == -1) &&
      (document.referrer.indexOf('sha001.mn') == -1)) 
    location.href = url;
}