Added example 12.