For they had departed from Rephidim, and had come to the desert of Sinai, and had pitched in the wilderness; and there Israel encamped before the mount.