Todd has 17 inches of rope this is 1 third of the length rope that he needs to tie his boat to dock how many inches of rope does he need to tie his boat to the dock