function WriteBenefitItem(text)
{
	document.write("	<tr vAlign=\"baseline\">");
	document.write("		<td><IMG src=\"images/bullet1.gif\"></td>");
	document.write("		<td>" + text + "</td>");
	document.write("	</tr>");
}

function WriteBenefit(licType, noFootnote)
{
    var footNote = noFootnote ? " (not including new controls introduced in new version)" : "<sup>1</sup>.";
	document.write("<table class=\"normal\">");
	switch (licType)
	{
		case 1:
			WriteBenefitItem("One domain, one server.");
			WriteBenefitItem("Up to 3 developers.");
			WriteBenefitItem("Free 6 months technical support.");
			WriteBenefitItem("Free 6 months version upgrade" + footNote);
			break;
		case 2:
			WriteBenefitItem("Unlimited number of sites/applications.");
			WriteBenefitItem("One developer.");
			WriteBenefitItem("Free 1 year technical support.");
			WriteBenefitItem("Free 1 year version upgrade." + footNote);
			break;
		case 3:
			WriteBenefitItem("Unlimited number of sites/applications.");
			WriteBenefitItem("Unlimited number of developers.");
			WriteBenefitItem("Free 1 year priority technical support.");
			WriteBenefitItem("Free 1 year version upgrade" + footNote);
			break;
		case 4:
			WriteBenefitItem("Unlimited number of sites/applications.");
			WriteBenefitItem("Unlimited number of developers.");
			WriteBenefitItem("Can be redistributed as a part of another product.");
			WriteBenefitItem("Free 1 year priority technical support.");
			WriteBenefitItem("Free 1 year version upgrade" + footNote);
			break;
	}
	document.write("</table>");
}

function Set_Cookie( name, value, expires, path, domain, secure ) 
{
    // set time, it's in milliseconds
    var today = new Date();
    today.setTime( today.getTime() );

    /*
    if the expires variable is set, make the correct 
    expires time, the current script below will set 
    it for x number of days, to make it for hours, 
    delete * 24, for minutes, delete * 60 * 24
    */
    if ( expires )
    {
    expires = expires * 1000 * 60 * 60 * 24;
    }
    var expires_date = new Date( today.getTime() + (expires) );

    document.cookie = name + "=" +escape( value ) +
    ( ( expires ) ? ";expires=" + expires_date.toGMTString() : "" ) + 
    ( ( path ) ? ";path=" + path : "" ) + 
    ( ( domain ) ? ";domain=" + domain : "" ) +
    ( ( secure ) ? ";secure" : "" );
}

function Get_Cookie( check_name ) 
{
	// first we'll split this cookie up into name/value pairs
	// note: document.cookie only returns name=value, not the other components
	var a_all_cookies = document.cookie.split( ';' );
	var a_temp_cookie = '';
	var cookie_name = '';
	var cookie_value = '';
	var b_cookie_found = false; // set boolean t/f default f
	
	for ( i = 0; i < a_all_cookies.length; i++ )
	{
		// now we'll split apart each name=value pair
		a_temp_cookie = a_all_cookies[i].split( '=' );
		
		
		// and trim left/right whitespace while we're at it
		cookie_name = a_temp_cookie[0].replace(/^\s+|\s+$/g, '');
	
		// if the extracted name matches passed check_name
		if ( cookie_name == check_name )
		{
			b_cookie_found = true;
			// we need to handle case where cookie has no value but exists (no = sign, that is):
			if ( a_temp_cookie.length > 1 )
			{
				cookie_value = unescape( a_temp_cookie[1].replace(/^\s+|\s+$/g, '') );
			}
			// note that in cases where cookie is initialized but no value, null is returned
			return cookie_value;
			break;
		}
		a_temp_cookie = null;
		cookie_name = '';
	}
	if ( !b_cookie_found )
	{
		return null;
	}
}