function showPicture(url) {
	var e = document.getElementById('currentbigmodelpic');
	if (e != undefined) {
		e.src = url;
	}
}