Listing 9.39.