function expand(what) {
	d = document.anchors[what];
	if (d.className == "on") {d.className = "off";} else {d.className = "on";}
}

function check(what) {
	if (document.images[what].src.indexOf("0") == -1) {document.images[what].src = "img/check_0.gif";} else {document.images[what].src = "img/check_1.gif";}
}

function swap(w) {
	document.searchForm.elements[w].value = (document.searchForm.elements[w].value == 0 ? 1 : 0);
}

function openWin(what,name,h,w) {
	new_window = window.open(what, name ,"toolbar=0, status=0, width="+w+", height="+h+", resizable=0, scrollbars=1")
}