( 5 12 ( t)