function clear_search_field(search_field) {
	if (search_field.value == "search")
		search_field.value = "";
}
