var ns4 = (document.layers) ? true : false;
  var ns4 = !(document.getElementById) ? true : false;

  var agt = navigator.userAgent.toLowerCase();

  var is_sun = (agt.indexOf("sunos")!=-1);



  var url_root = 'http://www.rssd.esa.int/';

  var url_ns4_sun = '<link rel="stylesheet" href="'+ url_root + '/css/ns4_sun.css">';
  var url_ns4_nosun = '<link rel="stylesheet" href="'+ url_root + '/css/ns4_nosun.css">';

  if (ns4 && is_sun) {
		document.write(url_ns4_sun);
  } else {
		if (ns4) {
			document.write(url_ns4_nosun);
		}
	}