if (document.images)
{
	var offimage = new Image(74,27);
	offimage.src = "../menu/PDF.gif";
	var onimage = new Image(74,27);
	onimage.src = "../menu/PDF_over.gif";
}

function mouseOn()
{
	if (document.images)
	   document.images.image1.src = onimage.src;
}

function mouseOff()
{
	if (document.images)
		document.images.image1.src = offimage.src;
}