11 , 381X13 .)