Sample code for Redis