var lnum = 450;
var movenum = 30;
function Highlight(Object) {
  Object.className = "Over" }
function Normal(Object) {
  Object.className = "Norm" }
function Animate(Object) {
  Object.style.visibility = "visible";
  Object.style.fontStyle = "italic";
  if (lnum > 30) {
	lnum = lnum - movenum;
	Object.style.pixelLeft = lnum;
	window.setTimeout("Animate("+Object.id+")",4);}
  else {
	Object.style.pixelLeft = 200;
	Object.style.fontStyle = "normal";}
}