// JavaScript Document

var domain_en = "";
var domain_de = "";
var domain_it = "";