/***************************************************************************/
/* Funktion change_nav(picture)                                            */
/***************************************************************************/
function change_nav(picture,navid)
{
	document.getElementById(navid).style.backgroundImage = picture;
}

/***************************************************************************/
/* Funktion change_nav_out(picture)                                        */
/***************************************************************************/
function change_nav_out(picture,navid)
{
	document.getElementById(navid).style.backgroundImage = picture;
}