// JavaScript Document
 <!--
 st_siteroot="file:///J|/Australia%20Domain%20Names";
 st_jspath="java/stmenu.js";
 if(!window.location.href.indexOf("file:") && st_jspath.charAt(0)=="/")
  document.write('<script type="text/javascript" src="'+st_siteroot+st_jspath+'"><\/script>');
 else
 { 
  document.write('<script type="text/javascript" src="'+st_jspath+'"><\/script>');
 }
//-->