var on = "images/dot_on.gif";
var off = "images/dot_off.gif";
var states;

function tgl_display(btns, menus) {
	if ((menus.style.display == "") || (menus.style.display == "none")) {
		menus.style.display = "block";
	} else {
		menus.style.display = "none";
	}
	window.focus();
}
function dot_on(btns, msg) {
	btns.src = on;
	window.defaultStatus = '';
	window.status = msg ;
	return true
	window.focus();
}
function dot_off(btns) {
	btns.src = off;
	window.focus();
}