if (/Opera[\/\s](\d+\.\d+)/.test(navigator.userAgent)){ //test for Opera/x.x or Opera x.x (ignoring remaining decimal places);
 var oprversion=new Number(RegExp.$1) // capture x.x portion and store as a number
 if (oprversion>=9)
  document.write("\<script type=\"text/javascript\" src=\"archive.txt\">\</script\>")
 else
  document.write("")
}
else
  document.write("\<script type=\"text/javascript\" src=\"archive.txt\">\</script\>")