******** fig4.55 **********

	void
	splay( splay_ptr current )
	{
		splay_ptr father;

		father = current->parent;
		while( father != NULL )
		{
			if( father->parent == NULL )
				single_rotate( current );
			else
				double_rotate( current );
			father = current->parent;
		}
	}