javascript:(function() { if(location.host.includes('.tribusre.com')) { let prodhost=location.host.replace('.tribusre.com',''); prodhost=prodhost.replace(/\_/g,'.'); location.href='https://'+prodhost+location.pathname; } else { location.href=`https://${location.host.replace(/\./g,'_')}.tribusre.com${location.pathname}` } }())