function swapDivs(a, b, c)
{
	aclass = a.className;
	if (aclass=='menuover_links')
	{
		c.className='menubg_groen';
		a.className='menulinks_groen';
		b.className='menurechts_groen';
	} else {
		c.className='menuover_bg';
		a.className='menuover_links';
		b.className='menuover_rechts';
	}
}