function unload()
{ 
	return;
}
function isDigit (c)
{   
	return ((c >= "0") && (c <= "9"))
}