/* URLs needed in Javascript code */
var url_delete_value = "/value/delete/";
var url_edit_value   = "/value/0/edit/".replace('/0/', '/%s/');
var url_add_value    = "/list/0/descriptor/0/add_value/".replace(/\/0\//g, '/%s/').replace('/list/', '/%s/');
var url_compare      = "/list/compare/0/".replace('/0/', '/%s/').replace('/list/', '/%s/');
var url_paste        = "/list/0/paste_brains".replace('/0/', '/%s/');
var url_copy_number  = "/brains/get_copy_number";
var url_search_by_descr = "/search/by_descriptor/%s/";