12542 ) ( 1647;