/*
 *	browser.js: script to find browser attrib's.
 *
 */
var usr_agent=navigator.userAgent.toLowerCase();
var OS, browser2, ver, last_string;

OS='unknown';
if (search_agent('linux')) OS='Linux';
  else if (search_agent('x11')) OS='Unix';
  else if (search_agent('mac')) OS='Mac';
  else if (search_agent('win')) OS='Win';

browser='unknown';
if (search_agent('opera')) browser='OP';
  else if (search_agent('konqueror')) browser='KQ';
  else if (search_agent('safari')) browser='SF';
  else if (search_agent('omniweb')) browser='OW';
  else if (search_agent('webtv')) browser='WT';
  else if (search_agent('icab')) browser='IC';
  else if (search_agent('netscape')) browser='NS';
  else if (search_agent('msie')) browser='IE';

//alert("Browser info:"+usr_agent+"/"+browser);

ver='unknown';

function search_agent(string)
  { last_pos=usr_agent.indexOf(string) + 1;
    last_string=string;
    return last_pos;
  }