19697x2 ) ( 4716;