version = navigator.appVersion.toLowerCase();
agent = navigator.userAgent.toLowerCase();
ie = (version.indexOf('msie')>-1);
win = (version.indexOf('windows')>-1);
opera = (agent.indexOf('opera')>-1);
ie50 = (version.indexOf('msie 5.0')>-1);

function closecs() {
document.write('\074span onclick=\"javascript:window.close();\"\076Close the window\074/span\076');
}

function date() {
  tyden = new Array("Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday");
  rok = new Array("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December");
  dd = new Array("1st", "2nd", "3rd", "th");
  datum = new Date();
  with (datum) {
    h = getHours();
    m = getMinutes();
    d = getDate();
    den = getDay();
    mesic = getMonth();
    r = getFullYear();
  }
if (m <= "9")
{m = "0"+m}
  if (d < 4)
  {ddd = dd[d-1];}
  else
  {ddd = d+dd[3];}
  
  document.write("<p id=\"today\">"+rok[mesic]+" "+d+", "+r+"</p><!-- /TODAY -->");}

function time() {
  rok = new Array("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December");
  dd = new Array("1st", "2nd", "3rd", "th");
  datum = new Date();
  with (datum) {
    h = getHours();
    m = getMinutes();
    d = getDate();
    den = getDay();
    mesic = getMonth();
    r = getFullYear();
  }
  if (m <= "9")
  {m = "0"+m}
  if (d < 4)
  {ddd = dd[d-1];}
  else
  {ddd = d+dd[3];}
  document.write("<p id=\"p-info\">Printed: "+ddd+" "+rok[mesic]+" "+r+" "+h+"."+m+"</p><!-- /P-INFO -->");}

var cfg = {};

cfg.imgUrl = "/images/vlada/";

/**
 * jQuery UI datepicker config
 */
/* Czech initialisation for the jQuery UI date picker plugin. */
/* Written by Tomas Muller (tomas@tomas-muller.net). */	
cfg.datepicker = {
	buttonImageUrl: cfg.imgUrl + "cal.gif",
	buttonText: "Choice date",
	language: 'en',
	today: "today",
	next7days: "next 7 days",
	next30days: "next 30 days",
	term: "first half of 2009"
};