function delete_file(filename) {
if (document.getElementById('mp_delete_uploaded_file')) {
	document.getElementById('mp_delete_uploaded_file').value = filename;
}
}