2 , 12640 .)