added library for rand