function checkForChange() {
	newIndex=document.devform.devfilter.selectedIndex;
	if (newIndex > 0) {
		document.devform.submit();
	}
}

function enableButton() {
	document.dlink_form.dlinksend.disabled = false;
}