1257 ( 71 ( 6076 , 66)