function Chr(CharCode)
{
	return String.fromCharCode(CharCode);
}


function InStr(str1, str2)
{
	var a = 0;

	if (str1 == null || str2 == null)
		return (false);

	var Str1=new String(str1);
	var Str2=new String(str2);

	Str1 = Str1.toLowerCase();
	Str2 = Str2.toLowerCase();

	a = Str1.indexOf(Str2);
	if (a == -1)
		return 0;
	else
		return a + 1;
}

function Trim(stringa)
{
while (stringa.substring(0,1) == ' ')
{
stringa = stringa.substring(1, stringa.length);
}
while (stringa.substring(stringa.length-1, stringa.length) == ' ')
{
stringa = stringa.substring(0,stringa.length-1);
}
return stringa;
}