( i 12 6)