function picfill(obj){
	this.document[obj].src = "pics/menupunkt_voll.gif";
}

function picclear(obj){
	this.document[obj].src = "pics/menupunkt_leer.gif";
}