( 28 / « “ Xll “ x87s ‘ )»