( 1811 ) ( G 3457 x t. v)