$SEI vers 0.0087