function wui(s) {
	if (s == "on") {
		document.getElementById('wui-img').src = "../images/wui-on.gif";
	}
	else {
		document.getElementById('wui-img').src = "../images/wui.gif";
	}
}