function switchImage(path){
	if(path!=''){
		var element = document.getElementById('ImgBig');
		element.src = path;


		element = document.getElementById('AImgBig');
		element.href = path;
	}
}

function updateDocumentContent(){
	var sidebar = document.getElementById('sidebar');
	var content = document.getElementById('documentContent');
	
	var sH = sidebar.clientHeight;
	var cH = content.clientHeight;
	if(sH>cH){
		content.style.height = sH +"px";
	}
}