
<!--  Start of the script for the vertical menu bar -->
<!--
/*
Cool Table Menu
By Clarence Eldefors (http://www.freebox.com/cereweb) with modifications from javascriptkit.com
Visit http://javascriptkit.com for this and over 400+ other scripts
*/



function movein(which,html){
which.style.background='coral'
if (document.getElementById)
document.getElementById("boxdescription").innerHTML=html
else
boxdescription.innerHTML=html
}

function movein2(which,html){
which.style.background='#369'
if (document.getElementById)
document.getElementById("boxdescription").innerHTML=html
else
boxdescription.innerHTML=html
}

function moveout(which){
which.style.background='#c9c9c9'
if (document.getElementById)
document.getElementById("boxdescription").innerHTML='&nbsp;'
else
boxdescription.innerHTML='&nbsp;'
}

function moveout2(which){
which.style.background='#036'
if (document.getElementById)
document.getElementById("boxdescription").innerHTML='&nbsp;'
else
boxdescription.innerHTML='&nbsp;'
}

//-->

<!--  End of the script for the vertical menu bar -->

<!--  Start of the script to swap the photos -->

<!-- Original:  Nicholas Lupien (smylex@aol.com) -->

<!-- This script and many more are available free online at -->
<!-- The JavaScript Source!! http://javascript.internet.com -->

<!-- Begin
var rand1 = 0;
var useRand = 0;

images = new Array;
images[1] = new Image();
images[1].src = "edge/images/frontpage/rsl-328.jpg";
images[2] = new Image();
images[2].src = "edge/images/frontpage/virtex4.jpg";


function swapPic() {
var imgnum = images.length - 1;
do {
var randnum = Math.random();
rand1 = Math.round((imgnum - 1) * randnum) + 1;
} while (rand1 == useRand);
useRand = rand1;
document.randimg.src = images[useRand].src;
}
//  End -->


<!-- end of the script to swap the photos -->


<!--  Start of the script for the Horizontal menu bar -->
// form_prompt.js
// 
// prompt for a form textbox by putting a description in there initially, but
// remove this as soon as the user focusses it for typing genuine content
// 
// by Smylers


function SetPromptText(ID, Text)
// sets the element with the specified ID to have the specified prompt text;
// better than simply hardcoding the prompt text with a value="" attribute on
// that element, so that the text only appears in JavaScript-enabled browsers
// (where it magically disappears) and doesn't get in the way of those without
// JavaScript
{
  var Textbox = document.getElementById(ID);

  // Only set the prompt text if the box is currently empty; reloading the page
  // or moving back to it may mean there's already content in there, in which
  // case it should be left alone:
  if (Textbox.value == '')
    Textbox.value = Text;

  // If it currently contains a value that isn't the default text then just
  // leave it alone:
  else if (Textbox.value != Text)
    return;

  // Either the default text has just been set, or the page has been reloaded
  // with the default text in it carried over from last time.  In either case
  // set up an event handler that will clear the text as soon as the box is
  // focussed:
  Textbox.onfocus = function() { ClearPromptText(Textbox) };
}

function ClearPromptText(Textbox)
// clears the text from the specified textbox -- assumed to have been invoked
// from its onfocus event handler -- and disables the event handler so that
// this doesn't get invoked again and clear any text the user types
{
  Textbox.value = '';
  Textbox.onfocus = null;
}