if ($server_instanz =~ /(   aja[1-6]
                        | antef[1-6]
                        )/x) {
    return $1;
}