/* Javascript */
if (navigator.appName=='Microsoft Internet Explorer'){
document.write('<link rel="stylesheet" type="text/css" href="./style/othstyle.css"/>')
}
else {document.write('<link rel="stylesheet" type="text/css" href="./style/navstyle.css"/>')}
/* var separator="<il>|" */