////////////////////////////////////////////////////////////////////////////////////////////////
/// load thumb into a big image
///////////////////////////////////////////////////////////////////////////////////
function thumb(num) {
	if(num)
		document.getElementById('bigimage').src = "images/images/s_" + num + ".jpg";
}