13 , 808X2 .)