// JavaScript Document
function highlight_selected_cell_global(elementID) {
	document.getElementById(elementID).style.backgroundColor='#2A4362'; 
}