// Sets cookie values. Expiration date is optional
function setCookie(name, value, expire)
{
    strCookie = name + "=" + escape(value);
    if (expire)
         strCookie += "; expires=" + expire.toGMTString();

    document.cookie = strCookie;
}

function getCookie(Name)
   {
        var search = Name + "="
        if (document.cookie.length > 0) {
            // if there are any cookies
            offset = document.cookie.indexOf(search)
            if (offset != -1) {
                // if cookie exists
                offset += search.length

                // set index of beginning of value
                end = document.cookie.indexOf(";", offset)

                // set index of end of cookie value
                if (end == -1)
                    end = document.cookie.length

                return unescape(document.cookie.substring(offset, end))
            }
        }
   }


function flashFunction()
{
	if(getCookie('refreshed') == 'no' || getCookie('refreshed') == null)
	{
		setCookie('refreshed','yes');
		window.location.reload();
	}
}

function leavepage(URL)
{
	setCookie('refreshed','no');
	window.location = URL;
}