从JavaScript中的Random7()派生Random10()函数