$r4enc = "$r3enc";