function MM_swapImgRestore() { //v3.0
  var i,x,a=document.MM_sr; for(i=0;a&&i<a.length&&(x=a[i])&&x.oSrc;i++) x.src=x.oSrc;
  menu2On = false;
}

function MM_preloadImages() { //v3.0
  var d=document; if(d.images){ if(!d.MM_p) d.MM_p=new Array();
    var i,j=d.MM_p.length,a=MM_preloadImages.arguments; for(i=0; i<a.length; i++)
    if (a[i].indexOf("#")!=0){ d.MM_p[j]=new Image; d.MM_p[j++].src=a[i];}}
}

function MM_findObj(n, d) { //v4.01
  var p,i,x;  if(!d) d=document; if((p=n.indexOf("?"))>0&&parent.frames.length) {
    d=parent.frames[n.substring(p+1)].document; n=n.substring(0,p);}
  if(!(x=d[n])&&d.all) x=d.all[n]; for (i=0;!x&&i<d.forms.length;i++) x=d.forms[i][n];
  for(i=0;!x&&d.layers&&i<d.layers.length;i++) x=MM_findObj(n,d.layers[i].document);
  if(!x && d.getElementById) x=d.getElementById(n); return x;
}

function MM_swapImage() { //v3.0
  var i,j=0,x,a=MM_swapImage.arguments; document.MM_sr=new Array; for(i=0;i<(a.length-2);i+=3)
   if ((x=MM_findObj(a[i]))!=null){document.MM_sr[j++]=x; if(!x.oSrc) x.oSrc=x.src; x.src=a[i+2];}
}

function switchImage(objName, imgPath) {
  var x=MM_findObj(objName);
  x.src=imgPath;
}

function MM_reloadPage(init) {  //reloads the window if Nav4 resized
  if (init==true) with (navigator) {if ((appName=="Netscape")&&(parseInt(appVersion)==4)) {
    document.MM_pgW=innerWidth; document.MM_pgH=innerHeight; onresize=MM_reloadPage; }}
  else if (innerWidth!=document.MM_pgW || innerHeight!=document.MM_pgH) location.reload();
}
MM_reloadPage(true);

function MM_showHideLayers() { //v6.0
  var i,p,v,obj,args=MM_showHideLayers.arguments;
  for (i=0; i<(args.length-2); i+=3) if ((obj=MM_findObj(args[i]))!=null) { v=args[i+2];
    if (obj.style) { obj=obj.style; v=(v=='show')?'visible':(v=='hide')?'hidden':v; }
    obj.visibility=v; }
}
function MM_callJS(jsStr) { //v2.0
  return eval(jsStr)
}

<!--
    // JavaScript to interpolate random images into a page.
    var ic = 20;     // Number of alternative images
    var xoxo = new Array(ic);  // Array to hold filenames
        
xoxo[0] = "../resources/th/side_img01.jpg";
xoxo[1] = "../resources/th/side_img02.jpg";
xoxo[2] = "../resources/th/side_img03.jpg";
xoxo[3] = "../resources/th/side_img04.jpg";
xoxo[4] = "../resources/th/side_img05.jpg";
xoxo[5] = "../resources/th/side_img06.jpg";
xoxo[6] = "../resources/th/side_img07.jpg";
xoxo[7] = "../resources/th/side_img08.jpg";
xoxo[8] = "../resources/th/side_img09.jpg";
xoxo[9] = "../resources/th/side_img10.jpg";
xoxo[10] = "../resources/th/side_img11.jpg";
xoxo[11] = "../resources/th/side_img12.jpg";
xoxo[12] = "../resources/th/side_img13.jpg";
xoxo[13] = "../resources/th/side_img14.jpg";
xoxo[14] = "../resources/th/side_img15.jpg";
xoxo[15] = "../resources/th/side_img16.jpg";
xoxo[16] = "../resources/th/side_img17.jpg";
xoxo[17] = "../resources/th/side_img18.jpg";
xoxo[18] = "../resources/th/side_img19.jpg";
xoxo[19] = "../resources/th/side_img20.jpg";


function pickRandom(range) {
if (Math.random)
return Math.round(Math.random() * (range-1));
else {
var now = new Date();
return (now.getTime() / 1000) % range;
}
}
// Write out an IMG tag, using a randomly-chosen image name.
var choice = pickRandom(ic);
// -->