function locationHref(OBJ){
var n = OBJ.selectedIndex;
document.location.href = OBJ.options[n].value;
}
function setTF()
{
	n = document.myFORM.mySEL.selectedIndex;
	flag = eval(document.myFORM.mySEL.options[n].id);
	document.myFORM["etc"].disabled = flag;
}