function writeText(txt)
{
document.getElementById("desc").innerHTML=txt
}

/* --------------- roll over  ------------------ */

function changeImages() {
	if (document.images ) {
		for (var i=0; i<changeImages.arguments.length; i+=2) {
			document[changeImages.arguments[i]].src = changeImages.arguments[i+1];
		}
	}
}

function changeImages2() {
	if (document.images ) {
		for (var i=0; i<changeImages2.arguments.length; i+=2) {
			document[changeImages2.arguments[i]].src = changeImages2.arguments[i+1];
		}
	}
}


/* --------------- sdmenu  ------------------ */