Update Ex_1.17_lengt80.rst