function setLocation(location)
{
	window.location = location;
}

function submitForm(form)
{		
	document.forms[form].submit();
	return false;
}

function trim(str)
{
    if(!str || typeof str != 'string')
        return null;

    return str.replace(/^[\s]+/,'').replace(/[\s]+$/,'').replace(/[\s]{2,}/,' ');
}