value('random_shuffle') === 1; } }