12210x1 ) [ 5077 .]