// i01_1 = new Image();
// i01_1.src = "clear.gif"; /* normale-Grafik */

function hiLite(imgID,imgObjName) {
// imgID - Name des auszutauschenden Bildes
// imgObjName - Name des Bildes mit dem ausgetauscht wird
document.images[imgID].src = imgObjName
document.getElementById('startpagetext').style.display = 'none';

}

function writeit(text,id) {
	x = document.getElementById(id);
	x.innerHTML = ' ';
	x.innerHTML = text;
}