function empty_box (obj, default_text) {
	if (obj.value == default_text) {
		obj.value = "";
	}
}