lab:use redis