function mouse_in(nr)
{
	document.images[nr].src =  "../grafik/gen_tile_square_ms.gif";
}

function mouse_out(nr)
{
	document.images[nr].src = "../grafik/gen_tile_square_ruhe.gif";
}
function mouse_in_letter()
{
	window.document.images[4].src = "../grafik/gen_tile_letter_ms.gif";
}

function mouse_out_letter()
{
	window.document.images[4].src ="../grafik/gen_tile_letter_ms_ruhe.gif"
}