document.write('<div id="top_border_');
document.write(navigator.appName == 'Microsoft Internet Explorer' ? 'ie': 'ns');
document.writeln('"></div>');