26473 ) ' [ 12100]