/**
 *
 * DODATKOWE FUNKCJE costumizale
 *
 **/
function $(ident){
	return document.getElementById(ident);
} 
 
function highlight(that, use){
	var use = (use == null) ? 0 : use;
	if(use == 1)
		that.src = that.src.replace('_use', '_on');
	else
		that.src = that.src.replace('_off', '_on');
}

function unhighlight(that, use){
	var use = (use == null) ? 0 : use;
	if(use == 1)
		that.src = that.src.replace('_on', '_use');
	else
		that.src = that.src.replace('_on', '_off');
}