if (document.images) {
	img1 = new Image();
	img2 = new Image();
	img1.src = "/images/buttons/header_button-select.jpg";
	img2.src = "/images/buttons/header_button-over.gif";
}