( 12 , 100 .;