( hmi * :df