// JavaScript Menu
var currentURL = new String(window.location);

document.write ("<font size='1' face='Verdana, Arial, Helvetica, sans-serif'>");

document.write ("<font color='#666699'><strong>&#8226;&nbsp;KRYPTOS OVERVIEW</strong></font><br>");
if (currentURL.indexOf("/overview/intro.html") == (currentURL.length)-20)
  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;INTRODUCTION</font><br>");
else
  document.write ("&nbsp;&nbsp;&nbsp;<a href='/archive/overview/intro.html'>INTRODUCTION</a><br>");
if (currentURL.indexOf("/overview/sanborn.html") == (currentURL.length)-22)
  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;JAMES SANBORN</font><br>");
else
  document.write ("&nbsp;&nbsp;&nbsp;<a href='/archive/overview/sanborn.html'>JAMES SANBORN</a><br>");

document.write ("<br><font color='#666699'><strong>&#8226;&nbsp;INTIMATION</strong></font><br>");
if (currentURL.indexOf("/intimation/letter.html") == (currentURL.length)-23)
  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;LETTER TO AGENCY</font><br>");
else
  document.write ("&nbsp;&nbsp;&nbsp;<a href='/archive/intimation/letter.html'>LETTER TO AGENCY</a><br>");
if (currentURL.indexOf("/intimation/location.html") == (currentURL.length)-25)
  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;ON LOCATION</font><br>");
else
  document.write ("&nbsp;&nbsp;&nbsp;<a href='/archive/intimation/location.html'>ON LOCATION</a><br>");
if (currentURL.indexOf("/intimation/informants.html") == (currentURL.length)-27)
  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;INFORMANTS</font><br>");
else
  document.write ("&nbsp;&nbsp;&nbsp;<a href='/archive/intimation/informants.html'>INFORMANTS</a><br>");

document.write ("<br><font color='#666699'><strong>&#8226;&nbsp;OBSERVATION</strong></font><br>");
if (currentURL.indexOf("/observation/stone.html") == (currentURL.length)-23)
  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;AMERICAN STONE</font><br>");
else
  document.write ("&nbsp;&nbsp;&nbsp;<a href='/archive/observation/stone.html'>AMERICAN STONE</a><br>");
if (currentURL.indexOf("/observation/morse.html") == (currentURL.length)-23)
  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;MORSE CODE</font><br>");
else
  document.write ("&nbsp;&nbsp;&nbsp;<a href='/archive/observation/morse.html'>MORSE CODE</a><br>");
if (currentURL.indexOf("/observation/compass.html") == (currentURL.length)-25)
  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;COMPASS ROSE</font><br>");
else
  document.write ("&nbsp;&nbsp;&nbsp;<a href='/archive/observation/compass.html'>COMPASS ROSE</a><br>");
if (currentURL.indexOf("/observation/petrified.html") == (currentURL.length)-27)
  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;PETRIFIED TREE</font><br>");
else
  document.write ("&nbsp;&nbsp;&nbsp;<a href='/archive/observation/petrified.html'>PETRIFIED TREE</a><br>");
if (currentURL.indexOf("/observation/water.html") == (currentURL.length)-23)
  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;WATER POOLS</font><br>");
else
  document.write ("&nbsp;&nbsp;&nbsp;<a href='/archive/observation/water.html'>WATER POOLS</a><br>");
if (currentURL.indexOf("/observation/vigenere.html") == (currentURL.length)-26)
  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;VIGEN&Egrave;RE COPPERPLATE</font><br>");
else
  document.write ("&nbsp;&nbsp;&nbsp;<a href='/archive/observation/vigenere.html'>VIGEN&Egrave;RE COPPERPLATE</a><br>");

document.write ("<br><font color='#666699'><strong>&#8226;&nbsp;SPECULATION</strong></font><br>");
if (currentURL.indexOf("/speculation/k1solution.html") == (currentURL.length)-28)
  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;K1 SOLUTION</font><br>");
else
  document.write ("&nbsp;&nbsp;&nbsp;<a href='/archive/speculation/k1solution.html'>K1 SOLUTION</a><br>");
if (currentURL.indexOf("/speculation/k2solution.html") == (currentURL.length)-28)
  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;K2 SOLUTION</font><br>");
else
  document.write ("&nbsp;&nbsp;&nbsp;<a href='/archive/speculation/k2solution.html'>K2 SOLUTION</a><br>");
if (currentURL.indexOf("/speculation/k3solution.html") == (currentURL.length)-28)
  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;K3 SOLUTION</font><br>");
else
  document.write ("&nbsp;&nbsp;&nbsp;<a href='/archive/speculation/k3solution.html'>K3 SOLUTION</a><br>");
//if (currentURL.indexOf("/speculation/k4lewis.html") == (currentURL.length)-25)
//  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;K4 PROPOSAL: KEN'S</font><br>");
//else
//  document.write ("&nbsp;&nbsp;&nbsp;<a href='/speculation/k4lewis.html'>K4 PROPOSAL: KEN'S</a><br>");
if (currentURL.indexOf("/speculation/standingwaves.html") == (currentURL.length)-31)
  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;STANDING WAVES</font><br>");
else
  document.write ("&nbsp;&nbsp;&nbsp;<a href='/archive/speculation/standingwaves.html'>STANDING WAVES</a><br>");

document.write ("<br><font color='#666699'><strong>&#8226;&nbsp;CORRELATION</strong></font><br>");
//if (currentURL.indexOf("/correlation/vollenweider.html") == (currentURL.length)-30)
//  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;ANDREAS VOLLENWEIDER</font><br>");
//else
//  document.write ("&nbsp;&nbsp;&nbsp;<a href='/correlation/vollenweider.html'>ANDREAS VOLLENWEIDER</a><br>");
if (currentURL.indexOf("/correlation/CIAcorrespondence.html") == (currentURL.length)-35)
  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;CIA CORRESPONDENCE</font><br>");
else
  document.write ("&nbsp;&nbsp;&nbsp;<a href='/archive/correlation/CIAcorrespondence.html'>CIA CORRESPONDENCE</a><br>");
//if (currentURL.indexOf("/correlation/rotvians.html") == (currentURL.length)-26)
//  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;ROTVIANS</font><br>");
//else
//  document.write ("&nbsp;&nbsp;&nbsp;<a href='/correlation/rotvians.html'>ROTVIANS</a><br>");
if (currentURL.indexOf("/about/grail.html") == (currentURL.length)-17)
  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;SANGREAL: HOLY GRAIL</font><br>");
else
  document.write ("&nbsp;&nbsp;&nbsp;<a href='/archive/about/grail.html'>SANGREAL: HOLY GRAIL</a><br>");
//if (currentURL.indexOf("/correlation/tutankhamun.html") == (currentURL.length)-29)
//  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;TUTANKHAMUN'S TOMB</font><br>");
//else
//  document.write ("&nbsp;&nbsp;&nbsp;<a href='/correlation/tutankhamun.html'>TUTANKHAMUN... [soon]</a><br>");

document.write ("<br><font color='#666699'><strong>&#8226;&nbsp;TOOLBOX</strong></font><br>");
//if (currentURL.indexOf("/toolbox/kryptossubrosa.html") == (currentURL.length)-28)
//  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;<a href='/toolbox/kryptossubrosa.html'><img src='http://feeds.feedburner.com/~fc/kryptosnews?bg=000000&fg=cccccc&anim=3' height='26' width='88' style='border:0' alt='Subscribe to Kryptos Sub Rosa' align='top' /></a>&nbsp;<a href='http://feeds.feedburner.com/kryptosnews' title='Subscribe to Kryptos Sub Rosa' target='_blank'><img src='http://www.feedburner.com/fb/images/pub/flchklt.gif' style='border:0' align='middle' /></a><br/>&nbsp;&nbsp;&nbsp;KRYPTOS SUB ROSA</font><br>");
//else
//  document.write ("&nbsp;&nbsp;<a href='/toolbox/kryptossubrosa.html'><img src='http://feeds.feedburner.com/~fc/kryptosnews?bg=000000&fg=cccccc&anim=3' height='26' width='88' style='border:0' alt='Subscribe to Kryptos Sub Rosa' align='top' /></a>&nbsp;<a href='http://feeds.feedburner.com/kryptosnews' title='Subscribe to Kryptos Sub Rosa' target='_blank'><img src='http://www.feedburner.com/fb/images/pub/flchklt.gif' style='border:0' align='middle' /></a><br/>&nbsp;&nbsp;&nbsp;<a href='/toolbox/kryptossubrosa.html'>KRYPTOS SUB ROSA</a><br>");
//document.write ("&nbsp;&nbsp;&nbsp;<a href='http://groups-beta.google.com/group/Realm-of-Twelve' target='_blank'>DISCUSSION GROUP</a><br>");
document.write ("&nbsp;&nbsp;&nbsp;<a href='http://www.stumbleupon.com/url/" + currentURL + "' target='_blank'>REVIEWS FOR THIS PAGE</a><br>");
if (currentURL.indexOf("/toolbox/autokey.html") == (currentURL.length)-21)
  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;AUTOKEY CIPHER</font><br>");
else
  document.write ("&nbsp;&nbsp;&nbsp;<a href='/archive/toolbox/autokey.html'>AUTOKEY CIPHER</a><br>");
if (currentURL.indexOf("/toolbox/m94.html") == (currentURL.length)-17)
  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;CSP-488 (M94)</font><br>");
else
  document.write ("&nbsp;&nbsp;&nbsp;<a href='/archive/toolbox/m94.html'>CSP-488 (M94)</a><br>");
if (currentURL.indexOf("/toolbox/kryptosfont.html") == (currentURL.length)-25)
  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;KRYPTOS FONT</font><br>");
else
  document.write ("&nbsp;&nbsp;&nbsp;<a href='/archive/toolbox/kryptosfont.html'>KRYPTOS FONT</a><br>");
//if (currentURL.indexOf("/toolbox/glossary.html") == (currentURL.length)-22)
//  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;GLOSSARY</font><br>");
//else
//  document.write ("&nbsp;&nbsp;&nbsp;<a href='/toolbox/glossary.html'>GLOSSARY</a><br>");
if (currentURL.indexOf("/toolbox/morse.html") == (currentURL.length)-19)
  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;MORSE TABLE</font><br>");
else
  document.write ("&nbsp;&nbsp;&nbsp;<a href='/archive/toolbox/morse.html'>MORSE TABLE</a><br>");

document.write ("<br><font color='#666699'><strong>&#8226;&nbsp;REALM OF TWELVE</strong></font><br>");
if (currentURL.indexOf("/about/twelve.html") == (currentURL.length)-18)
  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;ABOUT</font><br>");
else
  document.write ("&nbsp;&nbsp;&nbsp;<a href='/archive/about/twelve.html'>ABOUT</a><br>");
if (currentURL.indexOf("/about/researcher.html") == (currentURL.length)-22)
  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;RESEARCHER</font><br>");
else
  document.write ("&nbsp;&nbsp;&nbsp;<a href='/archive/about/researcher.html'>RESEARCHER</a><br>");
//if (currentURL.indexOf("/about/grail.html") == (currentURL.length)-17)
//  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;HOLY GRAIL</font><br>");
//else
//  document.write ("&nbsp;&nbsp;&nbsp;<a href='/about/grail.html'>HOLY GRAIL</a><br>");
if (currentURL.indexOf("/about/contact.html") == (currentURL.length)-19)
  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;CONTACT</font><br>");
else
  document.write ("&nbsp;&nbsp;&nbsp;<a href='/archive/about/contact.html'>CONTACT</a><br>");
if (currentURL.indexOf("/about/disclaimer.html") == (currentURL.length)-22)
  document.write ("<font color='#CCCCCC'>&nbsp;&nbsp;&nbsp;DISCLAIMER</font><br>");
else
  document.write ("&nbsp;&nbsp;&nbsp;<a href='/archive/about/disclaimer.html'>DISCLAIMER</a><br>");


document.write ("</font>");
