var KEYWORD_INFO = 1;
var MACRO_INFO = 2;
var IDENTIFIER_INFO = 3;
var NONTERMINAL_INFO = 4;

var has_clicked = false;
var last_keyword = "";
var delay = 350;      
var timerId;


function showInfo(name, kind) {
  if (name != null) {
    if (kind == KEYWORD_INFO) {
      window.status = "Click once for refman, twice for tutorial on `"+name+"'";
    } else if (kind == MACRO_INFO) {
      window.status = "Jump to the definition of the macro `"+name+"' ...";
    } else if (kind == IDENTIFIER_INFO) {
      window.status = "Jump to the definition of the identifier `"+name+"' ...";
    } else if (kind == NONTERMINAL_INFO) {
      window.status = "Jump to the nonterminal `"+name+"' in the <bigwig> grammar ...";
    } else {
      window.status = "";
    }
  } else {
    if (kind == KEYWORD_INFO) {
      window.status = "See the documentation for this keyword ...";
    } else if (kind == MACRO_INFO) {
      window.status = "Jump to the definition of this macro ...";
    } else if (kind == IDENTIFIER_INFO) {
      window.status = "Jump to the definition of this identifier ...";
    } else if (kind == NONTERMINAL_INFO) {
      window.status = "Jump to this nonterminal in the &lt;bigwig&gt; grammar ...";
    } else {
      window.status = "";
    }
  }
  return true;
}

function goto_refman(name) {
    if (name=="anychar") window.location = ("http://www.brics.dk/bigwig/refman/formats/#anychar");
    else if (name=="as") window.location = ("http://www.brics.dk/bigwig/refman/database/#as");

    else if (name=="bool") window.location = ("http://www.brics.dk/bigwig/refman/types/#bool");
    else if (name=="break") window.location = ("http://www.brics.dk/bigwig/refman/control/#switch");

    else if (name=="cart") window.location = ("http://www.brics.dk/bigwig/refman/database/#cart");
    else if (name=="case") window.location = ("http://www.brics.dk/bigwig/refman/control/#switch");
    else if (name=="char") window.location = ("http://www.brics.dk/bigwig/refman/types/#char");
    else if (name=="charcomplement") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="close") window.location = ("http://www.brics.dk/bigwig/refman/files/#close");
    else if (name=="complement") window.location = ("http://www.brics.dk/bigwig/refman/formats/#complement");
    else if (name=="concat") window.location = ("http://www.brics.dk/bigwig/refman/formats/#concat");
    else if (name=="const") window.location = ("http://www.brics.dk/bigwig/refman/types/#const");
    else if (name=="continue") window.location = ("http://www.brics.dk/bigwig/refman/input/#continue");

    else if (name=="default") window.location = ("http://www.brics.dk/bigwig/refman/control/#switch");
    else if (name=="delete") window.location = ("http://www.brics.dk/bigwig/refman/database/#delete");
    else if (name=="difftime") window.location = ("http://www.brics.dk/bigwig/refman/time/#difftime");
    else if (name=="dir") window.location = ("http://www.brics.dk/bigwig/refman/web/#dir");
    else if (name=="do") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");

    else if (name=="else") window.location = ("http://www.brics.dk/bigwig/refman/control/#ifelse");
    else if (name=="eof") window.location = ("http://www.brics.dk/bigwig/refman/files/#eof");
    else if (name=="exit") window.location = ("http://www.brics.dk/bigwig/refman/dyndoc/#exit");
    else if (name=="extend") window.location = ("http://www.brics.dk/bigwig/refman/macro/#extend");

    else if (name=="factor") window.location = ("http://www.brics.dk/bigwig/refman/database/#factor");
    else if (name=="false") window.location = ("http://www.brics.dk/bigwig/refman/types/#bool");
    else if (name=="file") window.location = ("http://www.brics.dk/bigwig/refman/types/#file");
    else if (name=="fileerror") window.location = ("http://www.brics.dk/bigwig/refman/files/#fileerror");
    else if (name=="fix") window.location = ("http://www.brics.dk/bigwig/refman/formats/#fix");
    else if (name=="flash") window.location = ("http://www.brics.dk/bigwig/refman/dyndoc/#flash");
    else if (name=="float") window.location = ("http://www.brics.dk/bigwig/refman/types/#float");
    else if (name=="for") window.location = ("http://www.brics.dk/bigwig/refman/control/#for");
    else if (name=="forever") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="format") window.location = ("http://www.brics.dk/bigwig/refman/formats/");

    else if (name=="get") window.location = ("http://www.brics.dk/bigwig/refman/web/#get");
    else if (name=="getcookie") window.location = ("http://www.brics.dk/bigwig/refman/web/#getcookie");
    else if (name=="getenv") window.location = ("http://www.brics.dk/bigwig/refman/core/#getenv");
    else if (name=="getYear") window.location = ("http://www.brics.dk/bigwig/refman/time/#getYear");
    else if (name=="getMonth") window.location = ("http://www.brics.dk/bigwig/refman/time/#getMonth");
    else if (name=="getDay") window.location = ("http://www.brics.dk/bigwig/refman/time/#getday");
    else if (name=="getHour") window.location = ("http://www.brics.dk/bigwig/refman/time/#getHour");
    else if (name=="getMinute") window.location = ("http://www.brics.dk/bigwig/refman/time/#getMinute");
    else if (name=="getSecond") window.location = ("http://www.brics.dk/bigwig/refman/time/#getSecond");
    else if (name=="getWeekday") window.location = ("http://www.brics.dk/bigwig/refman/time/#getWeekday");

    else if (name=="htaccess") window.location = ("http://www.brics.dk/bigwig/refman/security/#htaccess");
    else if (name=="html") window.location = ("http://www.brics.dk/bigwig/refman/types/#html");

    else if (name=="if") window.location = ("http://www.brics.dk/bigwig/refman/control/#ifelse");
    else if (name=="include") window.location = ("http://www.brics.dk/bigwig/refman/lex/#include");
    else if (name=="insert") window.location = ("http://www.brics.dk/bigwig/refman/database/#insert");
    else if (name=="int") window.location = ("http://www.brics.dk/bigwig/refman/types/#int");
    else if (name=="intersection") window.location = ("http://www.brics.dk/bigwig/refman/formats/#intersection");
    else if (name=="into") window.location = ("http://www.brics.dk/bigwig/refman/database/#into");

    else if (name=="lock") window.location = ("http://www.brics.dk/bigwig/refman/database/#lock");
    else if (name=="loop") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");

    else if (name=="match") window.location = ("http://www.brics.dk/bigwig/refman/web/#match");
    else if (name=="maybe") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="md5") window.location = ("http://www.brics.dk/bigwig/refman/security/#md5");
    else if (name=="metamorph") window.location = ("http://www.brics.dk/bigwig/refman/macro/#syntax");

    else if (name=="notime") window.location = ("http://www.brics.dk/bigwig/refman/time/#notime");
    else if (name=="now") window.location = ("http://www.brics.dk/bigwig/refman/time/#now");

    else if (name=="on") window.location = ("http://www.brics.dk/bigwig/refman/database/#on");
    else if (name=="open") window.location = ("http://www.brics.dk/bigwig/refman/files/#open");
    else if (name=="optional") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");

    else if (name=="pi") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="plus") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="post") window.location = ("http://www.brics.dk/bigwig/refman/web/#post");
    else if (name=="print") window.location = ("http://www.brics.dk/bigwig/refman/files/#print");
    else if (name=="println") window.location = ("http://www.brics.dk/bigwig/refman/files/#println");
    else if (name=="protected") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");

    else if (name=="random") window.location = ("http://www.brics.dk/bigwig/refman/core/#random");
    else if (name=="range") window.location = ("http://www.brics.dk/bigwig/refman/formats/#range");
    else if (name=="rawhtml") window.location = ("http://www.brics.dk/bigwig/refman/types/#rawhtml");
    else if (name=="read") window.location = ("http://www.brics.dk/bigwig/refman/database/#read");
    else if (name=="reader") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="receive") window.location = ("http://www.brics.dk/bigwig/refman/dyndoc/#show_receive");
    else if (name=="refresh") window.location = ("http://www.brics.dk/bigwig/refman/web/#refresh");
    else if (name=="regexp") window.location = ("http://www.brics.dk/bigwig/refman/formats/#regexp");
    else if (name=="relation") window.location = ("http://www.brics.dk/bigwig/refman/types/#relation");
    else if (name=="relax") window.location = ("http://www.brics.dk/bigwig/refman/formats/#relax");
    else if (name=="repeat") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="require") window.location = ("http://www.brics.dk/bigwig/refman/macro/#require");
    else if (name=="resource") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="return") window.location = ("http://www.brics.dk/bigwig/refman/control/#return");

    else if (name=="scan") window.location = ("http://www.brics.dk/bigwig/refman/files/#scan");
    else if (name=="scanln") window.location = ("http://www.brics.dk/bigwig/refman/files/#scanln");
    else if (name=="schema") window.location = ("http://www.brics.dk/bigwig/refman/database/#schema");
    else if (name=="select") window.location = ("http://www.brics.dk/bigwig/refman/database/#select");
    else if (name=="selective") window.location = ("http://www.brics.dk/bigwig/refman/security/#selective");
    else if (name=="sendemail") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="sendmail") window.location = ("http://www.brics.dk/bigwig/refman/web/#sendmail");
    else if (name=="service") window.location = ("http://www.brics.dk/bigwig/refman/core/#service");
    else if (name=="session") window.location = ("http://www.brics.dk/bigwig/refman/core/#session");
    else if (name=="set") window.location = ("http://www.brics.dk/bigwig/refman/database/#set");
    else if (name=="setcookie") window.location = ("http://www.brics.dk/bigwig/refman/web/#setcookie");
    else if (name=="setYear") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="setMonth") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="setDay") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="setHour") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="setMinute") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="setSecond") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="shared") window.location = ("http://www.brics.dk/bigwig/refman/types/#shared");
    else if (name=="show") window.location = ("http://www.brics.dk/bigwig/refman/dyndoc/#show");
    else if (name=="singular") window.location = ("http://www.brics.dk/bigwig/refman/security/#singular");
    else if (name=="sort") window.location = ("http://www.brics.dk/bigwig/refman/database/#sort");
    else if (name=="span") window.location = ("http://www.brics.dk/bigwig/refman/dyndoc/#show_timeout");
    else if (name=="ssl") window.location = ("http://www.brics.dk/bigwig/refman/security/#ssl");
    else if (name=="star") window.location = ("http://www.brics.dk/bigwig/refman/formats/#star");
    else if (name=="string") window.location = ("http://www.brics.dk/bigwig/refman/types/#string");
    else if (name=="switch") window.location = ("http://www.brics.dk/bigwig/refman/control/#switch");
    else if (name=="syntax") window.location = ("http://www.brics.dk/bigwig/refman/macro/");
    else if (name=="system") window.location = ("http://www.brics.dk/bigwig/refman/core/#system");

    else if (name=="time") window.location = ("http://www.brics.dk/bigwig/refman/types/#time");
    else if (name=="timeout") window.location = ("http://www.brics.dk/bigwig/refman/control/#wait");
    else if (name=="track") window.location = ("http://www.brics.dk/bigwig/refman/dyndoc/#track");
    else if (name=="true") window.location = ("http://www.brics.dk/bigwig/refman/types/#bool");
    else if (name=="tuple") window.location = ("http://www.brics.dk/bigwig/refman/types/#tuple");
    else if (name=="typeof") window.location = ("http://www.brics.dk/bigwig/refman/core/#typeof");

    else if (name=="union") window.location = ("http://www.brics.dk/bigwig/refman/formats/#union");
    else if (name=="update") window.location = ("http://www.brics.dk/bigwig/refman/database/#update");
    else if (name=="url") window.location = ("http://www.brics.dk/bigwig/refman/web/#url");
    else if (name=="userid") window.location = ("http://www.brics.dk/bigwig/refman/web/#userid");

    else if (name=="values") window.location = ("http://www.brics.dk/bigwig/refman/database/#values");
    else if (name=="vector") window.location = ("http://www.brics.dk/bigwig/refman/types/#vector");
    else if (name=="void") window.location = ("http://www.brics.dk/bigwig/refman/types/#void");

    else if (name=="while") window.location = ("http://www.brics.dk/bigwig/refman/control/#while");
    else if (name=="write") window.location = ("http://www.brics.dk/bigwig/refman/database/#write");
    else if (name=="writer") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");

}

function goto_tutorial(name) {
    if (name=="anychar") window.location = ("http://www.brics.dk/bigwig/tutorial/powerforms/#anychar");
    else if (name=="as") window.location = ("http://www.brics.dk/bigwig/tutorial/database/#as");

    else if (name=="bool") window.location = ("http://www.brics.dk/bigwig/tutorial/intro/#bool");
    else if (name=="break") ;

    else if (name=="cart") ;
    else if (name=="case") ;
    else if (name=="char") ;
    else if (name=="charcomplement") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="close") window.location = ("http://www.brics.dk/bigwig/tutorial/intro/#close");
    else if (name=="complement") window.location = ("http://www.brics.dk/bigwig/tutorial/powerforms/#complement");
    else if (name=="concat") window.location = ("http://www.brics.dk/bigwig/tutorial/powerforms/#concat");
    else if (name=="const") ;
    else if (name=="continue") ;

    else if (name=="default") ;
    else if (name=="delete") ;
    else if (name=="difftime") ;
    else if (name=="dir") window.location = ("http://www.brics.dk/bigwig/tutorial/intro/#dir");
    else if (name=="do") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");

    else if (name=="else") window.location = ("http://www.brics.dk/bigwig/tutorial/intro/#else");
    else if (name=="eof") ;
    else if (name=="exit") window.location = ("http://www.brics.dk/bigwig/tutorial/dyndoc/#exit");
    else if (name=="extend") window.location = ("http://www.brics.dk/bigwig/tutorial/macro/#extend");

    else if (name=="factor") window.location = ("http://www.brics.dk/bigwig/tutorial/database/#factor");
    else if (name=="false") window.location = ("http://www.brics.dk/bigwig/tutorial/intro/#bool");
    else if (name=="file") window.location = ("http://www.brics.dk/bigwig/tutorial/intro/#file");
    else if (name=="fileerror") ;
    else if (name=="fix") ;
    else if (name=="flash") window.location = ("http://www.brics.dk/bigwig/tutorial/intro/#flash");
    else if (name=="float") ;
    else if (name=="for") window.location = ("http://www.brics.dk/bigwig/tutorial/dyndoc/#for");
    else if (name=="forever") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="format") window.location = ("http://www.brics.dk/bigwig/tutorial/powerforms/#format");

    else if (name=="get") window.location = ("http://www.brics.dk/bigwig/tutorial/intro/#get");
    else if (name=="getcookie") ;
    else if (name=="getenv") ;
    else if (name=="getYear") window.location = ("http://www.brics.dk/bigwig/tutorial/database/#getX");
    else if (name=="getMonth") window.location = ("http://www.brics.dk/bigwig/tutorial/database/#getX");
    else if (name=="getDay") window.location = ("http://www.brics.dk/bigwig/tutorial/database/#getX");
    else if (name=="getHour") window.location = ("http://www.brics.dk/bigwig/tutorial/database/#getX");
    else if (name=="getMinute") window.location = ("http://www.brics.dk/bigwig/tutorial/database/#getX");
    else if (name=="getSecond") window.location = ("http://www.brics.dk/bigwig/tutorial/database/#getX");
    else if (name=="getWeekday") window.location = ("http://www.brics.dk/bigwig/tutorial/database/#getX");

    else if (name=="htaccess") ;
    else if (name=="html") window.location = ("http://www.brics.dk/bigwig/tutorial/dyndoc/#html");

    else if (name=="if") window.location = ("http://www.brics.dk/bigwig/tutorial/intro/#if");
    else if (name=="include") window.location = ("http://www.brics.dk/bigwig/tutorial/dyndoc/#include");
    else if (name=="insert") ;
    else if (name=="int") window.location = ("http://www.brics.dk/bigwig/tutorial/intro/#int");
    else if (name=="intersection") window.location = ("http://www.brics.dk/bigwig/tutorial/powerforms/#intersection");
    else if (name=="into") ;

    else if (name=="lock") window.location = ("http://www.brics.dk/bigwig/tutorial/database/#lock");
    else if (name=="loop") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");

    else if (name=="match") window.location = ("http://www.brics.dk/bigwig/tutorial/powerforms/#match");
    else if (name=="maybe") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="md5") ;
    else if (name=="metamorph") window.location = ("http://www.brics.dk/bigwig/tutorial/macro/#advanced");

    else if (name=="notime") window.location = ("http://www.brics.dk/bigwig/tutorial/database/#notime");
    else if (name=="now") window.location = ("http://www.brics.dk/bigwig/tutorial/database/#now");

    else if (name=="on") ;
    else if (name=="open") window.location = ("http://www.brics.dk/bigwig/tutorial/intro/#open");
    else if (name=="optional") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");

    else if (name=="pi") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="plus") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="post") window.location = ("http://www.brics.dk/bigwig/tutorial/intro/#post");
    else if (name=="print") window.location = ("http://www.brics.dk/bigwig/tutorial/intro/#print");
    else if (name=="println") window.location = ("http://www.brics.dk/bigwig/tutorial/intro/#print");
    else if (name=="protected") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");

    else if (name=="random") ;
    else if (name=="range") window.location = ("http://www.brics.dk/bigwig/tutorial/powerforms/#range");
    else if (name=="rawhtml") window.location = ("http://www.brics.dk/bigwig/tutorial/dyndoc/#rawhtml");
    else if (name=="read") window.location = ("http://www.brics.dk/bigwig/tutorial/database/#read");
    else if (name=="reader") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="receive") window.location = ("http://www.brics.dk/bigwig/tutorial/dyndoc/#show_receive");
    else if (name=="refresh") window.location = ("http://www.brics.dk/bigwig/tutorial/intro/#flash");
    else if (name=="regexp") window.location = ("http://www.brics.dk/bigwig/tutorial/powerforms/#regexp");
    else if (name=="relation") window.location = ("http://www.brics.dk/bigwig/tutorial/database/#relation");
    else if (name=="relax") ;
    else if (name=="repeat") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="require") window.location = ("http://www.brics.dk/bigwig/tutorial/macro/#require");
    else if (name=="resource") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="return") window.location = ("http://www.brics.dk/bigwig/tutorial/intro/#return");

    else if (name=="scan") window.location = ("http://www.brics.dk/bigwig/tutorial/powerforms/#scan");
    else if (name=="scanln") window.location = ("http://www.brics.dk/bigwig/tutorial/powerforms/#scan");
    else if (name=="schema") window.location = ("http://www.brics.dk/bigwig/tutorial/database/#schema");
    else if (name=="select") ;
    else if (name=="selective") ;
    else if (name=="sendemail") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="sendmail") ;
    else if (name=="service") window.location = ("http://www.brics.dk/bigwig/tutorial/intro/#service");
    else if (name=="session") window.location = ("http://www.brics.dk/bigwig/tutorial/intro/#session");
    else if (name=="set") ;
    else if (name=="setcookie") ;
    else if (name=="setYear") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="setMonth") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="setDay") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="setHour") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="setMinute") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="setSecond") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");
    else if (name=="shared") window.location = ("http://www.brics.dk/bigwig/tutorial/database/#shared");
    else if (name=="show") window.location = ("http://www.brics.dk/bigwig/tutorial/dyndoc/#show");
    else if (name=="singular") ;
    else if (name=="sort") ;
    else if (name=="span") window.location = ("http://www.brics.dk/bigwig/tutorial/intro/#span");
    else if (name=="ssl") window.location = ("http://www.brics.dk/bigwig/tutorial/intro/#ssl");
    else if (name=="star") window.location = ("http://www.brics.dk/bigwig/tutorial/powerforms/#star");
    else if (name=="string") window.location = ("http://www.brics.dk/bigwig/tutorial/intro/#string");
    else if (name=="switch") ;
    else if (name=="syntax") window.location = ("http://www.brics.dk/bigwig/tutorial/macro/");
    else if (name=="system") ;

    else if (name=="time") window.location = ("http://www.brics.dk/bigwig/tutorial/database/#time");
    else if (name=="timeout") window.location = ("http://www.brics.dk/bigwig/tutorial/concurrency/#timeout");
    else if (name=="track") window.location = ("http://www.brics.dk/bigwig/tutorial/dyndoc/#track");
    else if (name=="true") window.location = ("http://www.brics.dk/bigwig/tutorial/intro/#bool");
    else if (name=="tuple") window.location = ("http://www.brics.dk/bigwig/tutorial/database/#tuple");
    else if (name=="typeof") ;

    else if (name=="union") window.location = ("http://www.brics.dk/bigwig/tutorial/powerforms/#union");
    else if (name=="update") ;
    else if (name=="url") window.location = ("http://www.brics.dk/bigwig/tutorial/intro/#url");
    else if (name=="userid") ;

    else if (name=="values") ;
    else if (name=="vector") window.location = ("http://www.brics.dk/bigwig/tutorial/database/#vector");
    else if (name=="void") ;

    else if (name=="while") ;
    else if (name=="write") window.location = ("http://www.brics.dk/bigwig/tutorial/database/#write");
    else if (name=="writer") window.location = ("http://www.brics.dk/bigwig/macro/macro/std.wigmac");

}

function jumpInfo(name, kind) {
    <!-- <bigwig>, Copyright (C) 1998-2000 BRICS. -->
  clearTimeout(timerId);
  if (kind == 1) { // KEYWORD_INFO
      if (has_clicked && (name == last_keyword)) {
	  has_clicked = false;
	  goto_tutorial(name);
      } else {
          last_keyword = name;
          timerId = window.setTimeout("goto_refman(\""+name+"\")", delay);
          has_clicked = true;
      }
  } else if (kind == 4) { // NONTERMINAL_INFO
    window.location = "http://www.brics.dk/bigwig/refman/syntax/#"+name;
    return true;
  }	
}