/**
 *
 *
 * @version $Id: common.js,v 1.7 2008/04/28 12:55:48 gk Exp $
 * @copyright 2004
 **/

// common usefull vars
//var isIEx = (navigator.userAgent.indexOf('Opera') != -1) ? 1 : 0;
var isOpr = (navigator.userAgent.indexOf('Opera') != -1) ? 1 : 0;
var isFox = (navigator.userAgent.indexOf('Firefox') != -1) ? 1 : 0;
var isMnk = (navigator.userAgent.indexOf('SeaMonkey') != -1) ? 1 : 0;
var isNet = (navigator.userAgent.indexOf('Netscape') != -1) ? 1 : 0;


// common usefull functions
function reload()
{
	window.location = window.location;
}

// this method is only used in the fs menu component and hence it needs only to determine 
// whether it is ie<=6 or otherwise (another browser or ie>=7)
function msieversion()
   {
      var ua = window.navigator.userAgent;
      var msie = ua.indexOf ( "MSIE " );

      if ( msie > 0 )      // If Internet Explorer, return version number
         return parseInt (ua.substring (msie+5, ua.indexOf (".", msie )));
      else                 // If another browser, return 7
         return 7;         // 

   }