// Select a line on the "devices" page
		function sel_line(id){
			document.getElementById(id).style.backgroundColor="#DCDCC0";
			return true;
		}

		function msel_line(id){
			document.getElementById(id).style.backgroundColor="#fade22";
			return true;
		}

		function msel_font(id){
			document.getElementById(id).style.backgroundColor="#999966";
			return true;
		}

		// Deselect a line on the "devices" page
		function desel_line(id,originalColor){
			document.getElementById(id).style.backgroundColor=originalColor;
			return true;
		}