dr delta

// ==UserScript==
// @name           HKU Server
// @namespace      Armada
// @description    Select the server
// @include        http://webmail.hku.nl/
// ==/UserScript==

//Change this to the option index
var index = 4;

function input() {
    //Get the right document
    var content = document.getElementsByName("horde_main")[0].contentDocument;
    //Input the server
    content.getElementsByName("server")[0].selectedIndex = index;
}
content.getElementsByName("loginButton")[0].click();

setTimeout(input,350);