// JavaScript Document

  var cast1 = "mail";
  var cast2 = "to:";
  var name1 = "info";
  var name2 = "hellmich";
  var name3 = "bicovsky";
  var name4 = "fiala";
  var name5 = "prokupek";
  var name6 = "mancik";
  var server = "hydrosystemy";
  var domena = "cz";