function verander_foto( url )
{
	document.images.top_image.src = url;
	var objAnchor = document.getElementById('foto');
	if (objAnchor.scrollIntoView) 
		objAnchor.scrollIntoView(true);
}