function bildover(name)
	{
		document.getElementById(name).src = 'img/' + name + '-a.jpg';
	}
	
	function bildout(name)
	{
		document.getElementById(name).src = 'img/' + name + '.jpg';
	}
	
	
	function bildover_gif(name)
	{
		document.getElementById(name).src = 'img/' + name + '-a.gif';
	}
	
	function bildout_gif(name)
	{
		document.getElementById(name).src = 'img/' + name + '.gif';
	}