NAME
	hash_name - return the hash_name of an object

SYNTAX
	string hash_name(object o);

DESCRIPTION
	Returns the hash name of an object. find_object(hash_name(o))==o
	is always true.

NOTA BENE
	Though the above statement is always true at all times it is not
	certain that you can find an object that you stored the hash_name
	of earlier as objects might change their names.

SEE ALSO
	file_name, hash_name, enter_obj_hash
	