[ 1257 ] ( G 6142x3 ).