if(location.protocol.toLowerCase() =='http:' && ( location.href.toLowerCase().indexOf('psa.washk12.org') > -1 || location.href.toLowerCase().indexOf('psr.washk12.org') > -1 || location.href.toLowerCase().indexOf('pst.washk12.org') > -1 ) ) location.href = location.href.replace('http:','https:');