// Javascript for the menu Animated Gifs

var array = document.getElementsByTagName("li");
var current_boy = "images/aj.gif";

function turnOnBackground(id)
{
id--;
var link = array[id];
link.style.background = "url("+current_boy+") -12px center no-repeat black";
}

function turnOffBackground(id)
{
var link = array[id - 1];
link.style.background = "black";
}