<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">var DCProductURLs = {
"mobileweb": "html5m.html"
};

var DCshowiPhone = RegExp("AppleWebKit").test(navigator.userAgent) &amp;&amp; RegExp("Mobile").test(navigator.userAgent);
var DCshowAndroid = RegExp("Android").test(navigator.userAgent);
var DCshowSilk = RegExp("Silk").test(navigator.userAgent);
var isiPad = navigator.userAgent.toLowerCase().indexOf('ipad') &gt;= 0 || ((window.navigator.platform == "MacIntel" &amp;&amp; window.navigator.userAgent.indexOf("Safari") != -1 &amp;&amp; window.navigator.userAgent.indexOf("Chrome") == -1) &amp;&amp; (window.navigator["standalone"] !== undefined || (window.navigator["maxTouchPoints"] !== undefined &amp;&amp; window.navigator["maxTouchPoints"] &gt; 0)));



if (DCshowiPhone || DCshowAndroid || DCshowSilk || isiPad) {
var hs = window.location.hash;
var p = hs.substr(1)
if(Number(p)&gt;0) hs = "#page="+p;
var sr = window.location.search;
if(hs=="") hs = "#page=1";
window.location.href = DCProductURLs["mobileweb"] + sr + hs;
}
</pre></body></html>