function change(x)
{
	var c;
	c = "/bilder/" + x + ".jpg";
	document.getElementById('imgbig').src=c;
	// document.getElementById(x).checked='checked';
	return true;
}