modified josephus