/* CODEDATE  11 Sep, 2001 STDDOMAIN.JS  */
    /* note similar code for testing xploresearch.htm is in */
    /* cmps$html:report_script.js    */
    /* cmps$html:publish.js          */
    /* cmps$html:personalize.js      */
    /* cmps$html:map_script.js       */
	if ( ( navigator.appVersion.indexOf('MSIE') != -1 ) &
		( document.domain.toUpperCase() != 'REXPLORER.NET' ) )
	{
  		originalDomain = document.domain;
  		stddomain_tokens = document.domain.split('.');
  		temp = stddomain_tokens[stddomain_tokens.length-2]+'.'+
                        stddomain_tokens[stddomain_tokens.length-1];
  	  	if ( temp.toUpperCase() == 'REXPLORER.NET' )
  	  		document.domain = temp;
	}
