In a shelf, 40% of books are mystery novels. Among these mystery novels, 25% are hardcovers. What is the probability that a randomly chosen book is a hardcover mystery novel?