12 * * * ) midd . , 2 , 80 , 8 , 16 * * ) , 4 , 15 , 5 , 16 * * * )“