function download_file(file_path)
{
  location.replace("download.php?file_path="+file_path);
}

function trim(strText)
{
  // this will get rid of leading spaces
  while (strText.substring(0,1) == ' ')
    strText = strText.substring(1, strText.length);

  // this will get rid of trailing spaces
  while (strText.substring(strText.length-1,strText.length) == ' ')
    strText = strText.substring(0, strText.length-1);

  return strText;
}

function disabilita_bottoni()
{
  inputs = document.getElementsByTagName('input');
  for(var i = 0;i < inputs.length;i++)
  {
    if(inputs[i].type == 'button' || inputs[i].type == 'submit' || inputs[i].type == 'image')
    {
      inputs[i].disabled = true;
    }
  }
}