// JavaScript Document
function set_domain() {
	var host=window.location.host;
	var domain_parts=host.split(".");
	var domain="";
	var j=1;
	if (domain_parts[j]=="db") {j++;}
	for (i=j; i<domain_parts.length; i++) {
		domain+="." + domain_parts[i];
	}
	return domain;
}
function doSel(obj) {
	if (obj.selectedIndex >0) {
		window.open(obj.options[obj.selectedIndex].value,'mainFrame');
//		obj.selectedIndex=0;
	}
}