// JavaScript Document
var img1 = new Array();
var img2 = new Array();

function Init( id )
{
var i=1;
while(el = document.getElementById( 'menu' + i ))
 {
 img1[ i ] = new Image();
 img1[ i ].src = 'images/menu0' + i + '.gif';
 img2[ i ] = new Image();
 img2[ i ].src = 'images/menu' + i + '.gif';
 if(i==id){img2[i]=img1[i]; Hide(i);}
 i++;
 }
}

function InitEx( id )
{
var i=1;

while(el = document.getElementById( 'menu' + i ))
 {
 if(r=el.src.match(/menu(\d+)\.gif/))
  {
  img1[ i ] = new Image();
  img1[ i ].src = 'images/menu0' + r[1] + '.gif';
  img2[ i ] = new Image();
  img2[ i ].src = 'images/menu' + r[1] + '.gif';
  if(r[1]==id){img2[i]=img1[i]; Hide(i);}
  }
 i++;
 }
}

function Show( id )
{
   el = document.getElementById( 'menu' + id );
   if( el )
	 el.src = img1[ id ].src;
} 

function Hide( id )
{
   el = document.getElementById( 'menu' + id );
   if( el )
	 el.src = img2[ id ].src;
}