******** fig5.5 **********

	INDEX
	hash( char *key, unsigned int H_SIZE )
	{
		unsigned int hash_val=0;

/*1*/		while( *key != '\0' )
/*2*/			hash_val = ( hash_val << 5 ) + *key++;

/*3*/		return( hash_val % H_SIZE );
	}