function set_server(f) {
    srv = new Array('libo', 'jane', 'alai', 'miro', 'ela')
    idx = parseInt(f.user.value.substr(1,2)) - 1
    if (isNaN(idx)) {
        return false
    } else if (idx < 0 || idx > srv.length - 1) {
         alert('Nombre de usuario incorrecto')
         return false
    } else {
        f.action = 'https://' + srv[idx] + '.h3m.com:2083/login/'
    }
}