prag($index_gen0,5, index(2)).
prag($index_sot_index,6,index).


