( 3766 , 142;