Added program 11.7.