use better random seed