Todd has 17 inches of rope. This is 1/3 of the length of rope that he needs to tie his boat to a dock. How many inches of rope does he need to tie his boat to the dock?