<1257,0>