// JavaScript Document
function GetLayer(layerID)
{
	if (document.getElementById && !document.all)
		return document.getElementById(layerID);
	else if (document.layers)
		return document.layers[layerID];
	else if (document.all)
		return eval("document.all." + layerID);
	else
		return null;
}
function submitForm(name)
{
	if (GetLayer(name).submit)
		GetLayer(name).submit();
	else
		GetLayer(name).Submit();
}
function isInt(s)
{
  return (s.toString().search(/^-?[0-9]+$/) == 0);
}
function isFloat(value)
{
   if(isNaN(value) || value.indexOf(".")<0)
     return false;
   else 
   {
      if(parseFloat(value))
      	return true;
      else
      	return false;
   }
}