example python json redis stuff