This is a decoder for JJEncoded string