
<!--

if(document.images){  // preload images
	cred = new Image(129,13); cred.src = "images/cred.gif";
	credx = new Image(129,13); credx.src = "images/credx.gif";
	
	but1 = new Image(285,68); but1.src = "images/topbut.gif";
	but1x = new Image(285,68); but1x.src = "images/topbutx.gif";
	

	
	

	}
	
function flash(imageName,imageFile) {
if(!document.images) return;
eval('document.images[imageName].src = '+imageFile+'.src');
}

// -->

