function okno(url, width, height)
{
	window.open(url,"displayWindow",'width=' + width + ',height=' + height + ',resizable=0,location=no,scrollbars=yes,menubar=no,top=80,left=120');
}



function down(elem, nr)
{
	elem.style.backgroundImage='url(images/tlo_menu3.gif)';
	przyciski[nr].podswietl();
	return true;
}

function up(elem, nr)
{
	elem.style.backgroundImage='url(images/tlo_menu1.gif)';
	przyciski[nr].normalizuj();
	return true;
}

function przycisk(podstawowy, wskazany, klikniety, tekst)
{
  if (document.images)
  {
    this.name = "mix";
    if (podstawowy) { this.normal = new Image(); this.normal.src = podstawowy }
    if (wskazany) { this.over = new Image(); this.over.src = wskazany }
    if (klikniety) { this.down = new Image(); this.down.src = klikniety }
  }
  if (tekst) this.opis = tekst;

  this.normalizuj = normalizuj;
  this.podswietl = podswietl;
  this.kliknij = kliknij;

  return this;
     
  function normalizuj() { if (document.images) document.images[this.name].src = this.normal.src; window.status = "" }
  function podswietl() { if (document.images && this.over) document.images[this.name].src = this.over.src; if (this.opis) window.status = this.opis }
  function kliknij() { if (document.images) document.images[this.name].src = this.down.src }
}

przyciski = new Array("");
if (document.images)
{
// Dodawanie kolejnych przycisków:
przyciski[1] = new przycisk("images/mix.jpg", "images/mix2.jpg");
przyciski[2] = new przycisk("images/mix.jpg", "images/mix1.jpg");
przyciski[3] = new przycisk("images/mix.jpg", "images/mix3.jpg");
przyciski[4] = new przycisk("images/mix.jpg", "images/mix11.jpg");
przyciski[5] = new przycisk("images/mix.jpg", "images/mix10.jpg");
przyciski[6] = new przycisk("images/mix.jpg", "images/mix12.jpg");
przyciski[7] = new przycisk("images/mix.jpg", "images/mix13.jpg");
przyciski[8] = new przycisk("images/mix.jpg", "images/mix8.jpg");
przyciski[9] = new przycisk("images/mix.jpg", "images/mix6.jpg");
przyciski[10] = new przycisk("images/mix.jpg", "images/mix7.jpg");
przyciski[11] = new przycisk("images/mix.jpg", "images/mix9.jpg");



}