if (document.images) {
	gfx01a			= new Image(); gfx01a.src			= "images/25centCoinOld_rev_144x144.jpg";
	gfx01b			= new Image(); gfx01b.src			= "images/25centCoinOld_obv_144x144.jpg";
}