function delete_file(a) {
	file_id = a.parentNode.parentNode.id;
	file_name = $$('#'+file_id+' .file_name a')[1].innerHTML;

	return confirm("Are you sure you want to delete '"+file_name+"'?");
}

function edit_file_name(a) {
	cancel_edit_file_name();

	a.style.display = 'none';
	file_link = a.parentNode.getElementsByTagName('a')[1];
	file_link.style.display = 'none';

	form = document.createElement('form');
	form.method = 'get';
	form.a = file_link;
	form.edit = a;

	file_id = document.createElement('input');
	file_id.name = 'file_id';
	file_id.type = 'hidden';
	file_id.value = a.parentNode.parentNode.id;
	form.appendChild(file_id);

	file_name = document.createElement('input');
	file_name.name = 'file_name';
	file_name.value = file_link.innerHTML;
	form.appendChild(file_name);

	space = document.createElement('span');
	space.innerHTML = ' ';
	form.appendChild(space);

	save = document.createElement('input');
	save.type = 'submit';
	save.value = 'Save';
	form.appendChild(save);

	space2 = document.createElement('span');
	space2.innerHTML = ' ';
	form.appendChild(space2);

	cancel = document.createElement('input');
	cancel.type = 'button';
	cancel.value = 'Cancel';
	cancel.onclick = cancel_edit_file_name;
	form.appendChild(cancel);

	a.parentNode.appendChild(form);

	return false;
}
function cancel_edit_file_name(o) {
	forms = $$('.file_name form');
	for (i = 0; i < forms.length; i++) {
		forms[i].a.style.display = 'block';
		forms[i].edit.style.display = 'block';
		forms[i].parentNode.removeChild(forms[i]);
	}
}