function renameFile (formName)
{
	var s = prompt('Please Enter your name', '');
	document.formName.new_filename.value = s;
	document.formName.submit();
}