function preloadImages()
{ //v3.0
	var a=preloadImages.arguments
	cached=new Array(a.length);
	var i;
	for(i=0; i<a.length; i++)
		{ cached[i]=new Image(); cached[i].src = a[i];}
}

function swapImage(oldImageName, newimage){
	document.images[oldImageName].src = newimage;
}

function setBorderColor(objName,color){
	document.all[objName].style.borderColor = color
}