josephus using list