But they were using 3DES!