'When to take out a different sefer Torah'