// Produktbild vergrößern
function enlarge(file)
	{
	document.getElementById('fullsize').setAttribute('src', file);
	}