function set_cookie(name, value, expires) {
	var cookie = name + "=" + escape(value);
	if (expires != undefined) {
		cookie += ";expires=" + expires.toUTCString();
	}
	document.cookie = cookie;
}


function add_option_to_select(select, key, value){
	var option = new Option(value, key);
	//select.options.add(option);//
	select.options[select.options.length] = option;
}

function clear_options_from_select(select){
	while (select.options.length>0) select.options[0]=null;
}