******** fig4.41 **********

	/* This function can be called only if k3 has a left child */
	/* and k3's left child has a right child */
	/* Do the left-right double rotation.  Update heights */

	avl_ptr
	d_rotate_left( avl_ptr k3 )
	{
		
		k3->left = s_rotate_right( k3->left );	/* rotate between k1 and k2 */
		return( s_rotate_left( k3 ) );		/* rotate between k3 and k2 */
	}