a " E 512 & gt;