// JavaScript Document
// Format des Links <de> <Name1> <Server_2> <Name2> <server_1> <@>

var ing_buer = new Array('de', 'inf', 'ro-juenger.', 'o', 'ing-bue', '@' );