function setCookie( module, str )
{
	var	result;
	var expDate;
	var millis;
	var	pos1, pos2, prev, temp;
	var	i;

	result = document.cookie;
	temp = module + "=";
	/* look for current data... */
	prev = "";
	pos1 = result.indexOf( temp );
	if (pos1 >= 0)
	{
		pos1 += temp.length;
		pos2 = result.indexOf( ";", pos1 );
		if (pos2 < 0)
		{
			pos2 = result.length;
		}
		prev = unescape( result.substring( pos1, pos2 ) );

		/* if > 600 bytes, throw out oldest entries until you get a smaller string */
		while (prev.length > 600)
		{
			for (i=0; i<3; i++)
			{
				pos = prev.indexOf( "/" );
				prev = prev.substring( pos + 1 );
			}
		}
		str = prev + "/" + str;
	}
	expDate = new Date();
	millis = expDate.getTime();	// convert to milliseconds
	/* add one month */
	millis += 30 * 24 * 60 * 60 * 1000;
	expDate.setTime( millis );
	expDate = expDate.toGMTString();
	
	result = module + "=" + escape(str) + ";expires=" + expDate;
	document.cookie = result;
	history.back();
}