/*function changepic(newpic)
	{
	document.images.highres.src = newpic;
	}
function changetext(newtext)
	{
	document.forms.text.textcontent.value = newtext;
	}*/
	
function changepic(filename)
	{
	document.bild.src = filename;
	}
function changelinke(filename)
	{
	document.getElementById('mainpic').href = filename;
	}