function checkDigit(toCheck)
{
  // only allow numbers to be entered
  var checkOK = "0123456789.";
  var checkStr = toCheck;
  var allValid = true;
  var allNum = "";
  for (i = 0;  i < checkStr.length;  i++)
  {
  ch = checkStr.charAt(i);
  for (j = 0;  j < checkOK.length;  j++)
  if (ch == checkOK.charAt(j))
  break;
  if (j == checkOK.length)
  {
  allValid = false;
  break;
  }
  if (ch != ",")
  allNum += ch;
  }

  return allValid;

}

function checkPressKey()
{
  // Non implementata perchè non necessaria nel nostro caso.
  // Usata solo per i validatori
}



function formatWithApostrophe(input)
{
  var temp = input.replace(/[\']/g,"\\'");
  return temp;
}


function checkDigitHard(toCheck,length)
{
  // only allow numbers to be entered
  var checkOK = "0123456789";
  var checkStr = toCheck;

  // controllo la lunghezza
  if (checkStr.length != length)
    return false;

  var allValid = true;
  var allNum = "";
  for (i = 0;  i < checkStr.length;  i++)
  {
  ch = checkStr.charAt(i);
  for (j = 0;  j < checkOK.length;  j++)
  if (ch == checkOK.charAt(j))
  break;
  if (j == checkOK.length)
  {
  allValid = false;
  break;
  }
  if (ch != ",")
  allNum += ch;
  }

  return allValid;

}

function exists(element,vector)
{

  var trovato = false;
  for (i=0;i<vector.length;i++)
  {
    if (vector[i] == element)
    {
      trovato=true;
      break;
    }
  }
  return trovato;
}


function removeFromVector(element,vector)
{

  var appo = new Array();

  for (i=0;i<vector.length;i++)
  {
    if (vector[i] != element)
    {
      appo.push(vector[i]);
    }
  }

  return appo;
}


function convertYYYYMMGG2GGMMAAAA(str)
{
if(str<10)return str;
anno=str.substr(0,4);
  mm=str.substr(5,2);
  gg=str.substr(8,2);
  return gg+"/"+mm+"/"+anno;
}


function valiDateYYYYMMDD(date) {

var myRegex = new RegExp("^[0-9]{4}\/([0][0-9]|[1][0-2])\/([0-2][0-9]|[3][0-1])$");
if (date.match(myRegex))
	{//valid date format, check for valid date
	var theDay = Math.round(date.substr(8,2));
	var theMonth = Math.round(date.substr(5,2));
	var theYear = Math.round(date.substr(0,4));

	if ((theYear%4 == 0) && (theDay > 29) && (theMonth == 2)) {
		//alert ("Formato data non valido",160,300);
		return false;
		}
	else if ((theYear%4 != 0) && (theDay > 28) && (theMonth == 2)) {
		//alert ("Formato data non valido",160,300);
		return false;
		}
	else if ((theDay > 30) && (theMonth == 4 || theMonth == 6 || theMonth == 0 || theMonth == 11)) {
		//alert ("Formato data non valido",160,300);
		return false;
		}
	else {
		return true;
		}
	}
else
	{
	//alert ("La data non è nel formato richiesto. Controllare la corretta immissione.",160,300);
	return false;
	}
}

function addZero(str){
  if(str.length==1)
    str = '0'+str;

  return str;
}


function convertYYYYMMGG2MMGGAAAA(str)
{
if(str<10)return str;
anno=str.substr(0,4);
  mm=str.substr(5,2);
  gg=str.substr(8,2);
  return mm+"/"+gg+"/"+anno;
}