card shuffle

by elvish_champ on 12 August 2007