87 86 87 ;87