function show_bigimg(url) {
	if(url)
		document.getElementById('imgbig1').src = url;
}