function focusAndSelect(object)
{
	object.focus();
    object.select();
    return true;
}//focusAndSelect
//
// Trim space from a string.
//
function trim(inputString) 
{
   // Removes leading and trailing spaces from the passed string. Also
   // removes consecutive spaces and replaces it with one space.
   var retValue = inputString;
   var ch = retValue.substring(0, 1);
   while (ch == " ") { // Check for spaces at the beginning of the string
      retValue = retValue.substring(1, retValue.length);
      ch = retValue.substring(0, 1);
   }
   ch = retValue.substring(retValue.length-1, retValue.length);
   while (ch == " ") { // Check for spaces at the end of the string
      retValue = retValue.substring(0, retValue.length-1);
      ch = retValue.substring(retValue.length-1, retValue.length);
   }
   while (retValue.indexOf("  ") != -1) { // Note that there are two spaces in the string - look for multiple spaces within the string
      retValue = retValue.substring(0, retValue.indexOf("  ")) + retValue.substring(retValue.indexOf("  ")+1, retValue.length); // Again, there are two spaces in each of the strings
   }
   return retValue; // Return the trimmed string back to the user
}//trim 

function over_effect(e,state){
	if (document.all)
	{
		source4=event.srcElement;
	}
	else 
	{
		if (document.getElementById)
		{
			source4=e.target
		}
	}
	if (source4.className=="menulines")
	{
		source4.style.borderStyle=state;
	}
	else
	{
		while(source4.tagName!="TABLE")
		{
			source4=document.getElementById? source4.parentNode : source4.parentElement
			if (source4.className=="menulines")
			{	
				source4.style.borderStyle=state;
			}
		}
	}
}