if (document.getElementById||document.all) {
    document.write('  <link rel="stylesheet" href="style_ie.css">');
  } else {
    document.write('  <link rel="stylesheet" href="style_nn.css">');
  }