simpleStatement(sw, "version/3", "safari3");
simpleStatement(sw, "version/4", "safari4");
// else assume newest
// simpleStatement(sw, "version/5", "safari5");
sw.println("return 'safari5';");
sw.outdent();
sw.println("}");
sw.println("if (ua.indexOf('gecko') != -1) {");
sw.indent();
simpleStatement(sw, "rv:1.8", "gecko1_8");