<!--
if ((navigator.appName.substring(0,9)=="Microsoft") 
   && (parseInt(navigator.appVersion) > 3)){
   document.write('<style>')
   document.write('.menu{')
   document.write('WIDTH: 100px;}')
   document.write('</style>')}
//-->