document.cookie = "APP.BROWSER=;path=/;expires=Thu, 01-Jan-1970 00:00:01 GMT";
if ( $SESSION.REQUEST.BROWSER.USER_AGENT )
{
  document.cookie = "APP.BROWSER="
                  + escape ( JSON.stringify ( $SESSION.REQUEST ) ) + ";path=/";
}