12802 x 0 .)