url = setParam(url,"param.CICURI",escape(uri));
var uri_set_size = document.uri_set_size.elements[0].value;
url = setParam(url,"param.uri_set_size",uri_set_size);
url = setParam(url,"param.CICURI",escape(uri));
var uri_set_size = document.uri_set_size.elements[0].value;
url = setParam(url,"param.uri_set_size",uri_set_size);