表table随机元素

import console;
var a={1,2,5,8}
console.dump(table.shuffle(a)[1]);