// JavaScript functions, part of HyperLeda
// Pop-up HELP
// validated on N4.0 Moz5.0 (PhP 2002/02/08)
var HELPw    = null;
var HELPloca = "help/"
function HELP(url){
  HELPw = window.open("","HELP","width=600,height=600")
  if (HELPw != null){
    if (HELPw.length == 0){
        HELPw.location   = HELPloca+"frame.html"
        HELPw[0]         = null;
        HELPw[1]         = null;
        HELPw.opener     = top.window;
        HELPsynchro(url)}
    else {HELPw.frames[1].location=HELPloca+url}
    HELPw.frames[1].location=HELPloca+url;
  } 
}
var HELPid = null
var HELPtr = false
function HELPsynchro(url){
   if(HELPtr) {clearTimeout(HELPid)}
   HELPtr=false
   if(HELPw.length == 0) {urls=url;
      HELPtr=true
      HELPid=setTimeout("HELPsynchro(urls)",500)}
   else {HELPw.frames[1].location=HELPloca+url}
}