Menu_marked = new Image ();
Menu_marked.src= "style/content/menu_icon.gif";
Menu_standard= new Image ();
Menu_standard.src= "style/content/dotclear.gif";

function ChangeMenu (Position,status,obj)
{
	if (status=="markiert")
		document.images[Position + 3].src = Menu_marked.src;
	else
		document.images[Position + 3].src = Menu_standard.src;
}