1<html>
2<head><script>
3var $wnd = parent;
4var $doc = $wnd.document;
5var $moduleName = null;
6
7
8window["provider$user.agent"] = function() {
9  var ua = navigator.userAgent.toLowerCase();
10  if (ua.indexOf('opera') != -1) {
11    return 'opera';
12  }
13   else if (ua.indexOf('webkit') != -1) {
14    return 'safari';
15  }
16   else if (ua.indexOf('msie 6.0') != -1 || ua.indexOf('msie 7.0') != -1) {
17    return 'ie6';
18  }
19   else if (ua.indexOf('gecko') != -1) {
20    var result = /rv:([0-9]+)\.([0-9]+)/.exec(ua);
21    if (result && result.length == 3) {
22      var version = parseInt(result[1]) * 10 + parseInt(result[2]);
23      if (version >= 18)
24        return 'gecko1_8';
25    }
26    return 'gecko';
27  }
28  return 'unknown';
29}
30;
31
32window["values$user.agent"] = {
33"gecko": 0,
34"gecko1_8": 1,
35"ie6": 2,
36"opera": 3,
37"safari": 4
38};
39
40window["prop$user.agent"] = function() {
41  var v = window["provider$user.agent"]();
42  var ok = window["values$user.agent"];
43  if (v in ok)
44    return v;
45  var a = new Array(5);
46  for (var k in ok)
47    a[ok[k]] = k;
48  $wnd.__gwt_onBadProperty("org.cs3.dokuwiki.jsp.JspConverter", "user.agent", a, v);
49  if (arguments.length > 0) throw null; else return null;
50};
51
52function O(a,v) {
53  var answer = O.answers;
54  var i = -1;
55  var n = a.length - 1;
56  while (++i < n) {
57    if (!(a[i] in answer)) {
58      answer[a[i]] = [];
59    }
60    answer = answer[a[i]];
61  }
62  answer[a[n]] = v;
63}
64O.answers = [];
65
66
67function selectScript() {
68  try {
69    var F;
70    var I = ["true", (F=window["prop$user.agent"],F(1))];
71
72    O(["true","safari"],"01A8CC8FBDB339210C2667BB87892EB7");
73    O(["true","opera"],"B814DBC1353B7E8B7D28472AAF24378F");
74    O(["true","gecko1_8"],"D2A40C80682FFB858E7EA43B32B2A349");
75    O(["true","gecko"],"D2A40C80682FFB858E7EA43B32B2A349");
76    O(["true","ie6"],"F529593455DA10BF671DF392B6C1888E");
77
78    var strongName = O.answers[I[0]][I[1]];
79    var query = location.search;
80    query = query.substring(0, query.indexOf('&'));
81    var newUrl = strongName + '.cache.html' + query;
82    location.replace(newUrl);
83  } catch (e) {
84    // intentionally silent on property failure
85  }
86}
87
88function onLoad() {
89  if (!$wnd.__gwt_isHosted) return;
90  if (!$wnd.__gwt_isHosted()) {
91    selectScript();
92  }
93  else {
94    var mcb = $wnd.__gwt_tryGetModuleControlBlock(location.search);
95    if (mcb) {
96      $moduleName = mcb.getName();
97      mcb.compilationLoaded(window);
98    }
99  }
100}
101</script></head>
102<body onload='onLoad()'>
103<font face='arial' size='-1'>This script is part of module</font> <code>org.cs3.dokuwiki.jsp.JspConverter</code>
104</body>
105</html>
106