function $(id) {
	return document.getElementById(id);
}

function do_focus(elem_id, def_text) {
	var e = $(elem_id);
	if(e) {
		if(e.value == def_text) {
			e.value = '';
		}
	}
}

function do_blur(elem_id, def_text) {
	var e = $(elem_id);
	if(e) {
		if(e.value == '') {
			e.value = def_text;
		}
	}
}

function enable(sender, receiver, default_value) {
	if(sender.value != '' || sender.value != default_value) {
		var e = $(receiver);
		if(e) { e.checked = true; }
	}
}