12 ] .