function changeCssAttrib(myId,att,myValue) {

// 	if(!(window.opera)) {
		document.getElementById(myId).style[att] = myValue;
// 	}
}

function changeMenu(myElement, picName) {
//     myElement.src =picName;
    document.getElementById(""+myElement+"").src = picName;

/*
   alert("Davor:\n"+document.getElementById(""+myElement+"").innerHTML);
   document.getElementById(""+myElement+"").innerHTML = "<img src=\""+picName+"\" border=\"0\">";
   alert("Danach:\n"+document.getElementById(""+myElement+"").innerHTML);*/
}