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