<!--
//  document.write("<BR>");
//  document.write(is_bloody_IE_beginners);
//  document.write("<BR>");

    if (!cssOk)
      document.write('<a href="/misc/realisation.html#unknown-browser"><img src="/image/unknown-browser.gif" alt="compatibility issue: unknown browser" border="0"></a>');
// -->