12/12 < First << 1112
0.5098s