ksh 38.3 billion