<!--
function MakeArray()
        {
        this.length = MakeArray.arguments.length
        for (var i = 0; i < this.length; i++)
        this[i+1] = MakeArray.arguments[i]
        }
var siteopt = new MakeArray("請選擇",
                            "中文繁體版",
                            "中文簡體版",
                            "日文版",
                            "英文版",
                            "其他語系");
var url = new MakeArray("#",
                        "manual.php?op=tw&phyla=中文繁體版",
                        "manual.php?op=cn&phyla=中文簡體版",
                        "manual.php?op=japan&phyla=日文版",
                        "manual.php?op=english&phyla=英文版",
                        "manual.php?op=1&phyla=其他語系");
function jumpPage(form) {
        i = form.SelectMenu.selectedIndex;
        if (i == 0) return;
        window.location.href = url[i+1];
}
-->