4.5.3 random库