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