}3.12(3)@@@@}3.12(5)