13 , 914X5 .)