I have a string :  str = "/proposal/list/31551"

I would like to change the 31551 by another value "9999", but I don't 
see whicj method I should use ?

str.each  and block ? or str.rindex('/') and concatenating the new value ?

tfyh

joss