!Last Modified: 20-JAN-1987 08:56:15.72 procedure eve_get_key_value local this_key,that_key,loc_string; message ("enter a key"); this_key := read_key; that_key := key_name(this_key); loc_string := get_info(that_key,"name"); message(loc_string); endprocedure;