finish josephus