function hidelang() {
    if (korean.src=='images/lang_korean_on.gif' || english.src=='images/lang_english_on.gif') return;
  if (browserType == "gecko" )
     document.poppedLayer =
         eval('document.getElementById(\'langmenu\')');
  else if (browserType == "ie")
     document.poppedLayer =
        eval('document.all[\'langmenu\']');
  else
     document.poppedLayer =
        eval('document.layers[\'langmenu\']');
  document.poppedLayer.style.visibility = "hidden";
}
 
function showlang() {
  if (browserType == "gecko" )
     document.poppedLayer =
         eval('document.getElementById(\'langmenu\')');
  else if (browserType == "ie")
     document.poppedLayer =
         eval('document.all[\'langmenu\']');
  else
     document.poppedLayer =
         eval('document.layers[\'langmenu\']');
  document.poppedLayer.style.visibility = "visible";
}
 
function containsDOM (container, containee) {
  var isParent = false;
  do {
    if ((isParent = container == containee))
      break;
    containee = containee.parentNode;
  }
  while (containee != null);
  return isParent;
}
 
function checkMouseEnter (element, evt) {
  if (element.contains && evt.fromElement) {
    return !element.contains(evt.fromElement);
  }
  else if (evt.relatedTarget) {
    return !containsDOM(element, evt.relatedTarget);
  }
}
 
function checkMouseLeave (element, evt) {
  if (element.contains && evt.toElement) {
    return !element.contains(evt.toElement);
  }
  else if (evt.relatedTarget) {
    return !containsDOM(element, evt.relatedTarget);
  }
}

 
// Set slideShowSpeed (milliseconds)
var slideShowSpeed = 3000
 
// Duration of crossfade (seconds)
var crossFadeDuration = 1
 
// Specify the image files
var Pic = new Array() // don't touch this
// to add more images, just continue
// the pattern, adding to the array below
 
Pic[0] = 'images/lang_english1.gif'
Pic[1] = 'images/lang_korean1.gif'
 
// =======================================
// do not edit anything below this line
// =======================================
 
var t
var j = 0
var p = Pic.length
 
var preLoad = new Array()
for (i = 0; i < p; i++){
   preLoad[i] = new Image()
   preLoad[i].src = Pic[i]
}
 
function runSlideShow(){
   var p = Pic.length
   if (document.all){
      document.images.SlideShow.style.filter="blendTrans(duration=2)"
      document.images.SlideShow.style.filter="blendTrans(duration=crossFadeDuration)"
      document.images.SlideShow.filters.blendTrans.Apply()
   }
   document.images.SlideShow.src = preLoad[j].src
   if (document.all){
      document.images.SlideShow.filters.blendTrans.Play()
   }
   j = j + 1
   if (j > (p-1)) j=0
   t = setTimeout('runSlideShow()', slideShowSpeed)
}