if (is_nav6up || is_ie5_5up) {
document.write("<link rel='stylesheet' href='images_gif_and_styles/mystyles.css' type='text/css'>");
}