function divChange(tableID){
	document.getElementById('div0').style.display = ( tableID != "0" ? "" : "block" );
 	document.getElementById('div1').style.display = ( tableID != "1" ? "" : "block" );
	document.getElementById('div2').style.display = ( tableID != "2" ? "" : "block" );
	document.getElementById('div3').style.display = ( tableID != "3" ? "" : "block" );
	document.getElementById('div4').style.display = ( tableID != "4" ? "" : "block" );
	return;
}