// JavaScript Document
	function trim(theString)
	{
		return theString.replace(/^\s\s*/, '').replace(/\s\s*$/, '');	
	}