12710x1 ) ’ ( 5212)