modifi josephuse code