if (document.images) {
	img1 = new Image();
	img2 = new Image();
	img1.src = "/images/buttons/pdfbutton-pw-over.gif"
	img2.src = "/images/buttons/pdfbutton-sb-over.gif"
}