var bild;

function bild_Over (p)
{
	bild = window.document.getElementById(p.id);
	bild.src = "images/" + bild.id + "_over.png";
}

function bild_Out (p)
{
	bild = window.document.getElementById(p.id);
	bild.src = "images/" + bild.id + ".png";
}