Listing 11.13, 11.14, 11.15