I know that a 12mm braided polyester rope is the type of rope recommended for hanging. But what length should it be?