function movein(przycisk,opis)
	{
	przycisk.style.color='#FFFFFF'
	info_przycisku.innerHTML=opis
	}

function moveout(przycisk)
	{
	przycisk.style.color='#D8E8FF'
	info_przycisku.innerHTML=' '
	}

function zegar()
	{
	Czas = window.setTimeout("zegar()", 100);
	var Dzien = new Date();
	var Wyswietl = Dzien.toLocaleString();
	status = Wyswietl;
	}

function mysz()
	{
	function nocontextmenu()
		{
		event.cancelBubble = true;
		event.returnValue = false;
		return false;
		}
	document.oncontextmenu = nocontextmenu;
	}