function preloadStarImages() {
	if (document.images) {
		var len = document.images.length;
		for (i =0; i<len; i++) {
			if (document.images[i].name=="red_star") {
				document.images[i].src = "images/red_star.gif";
			}
			else if (document.images[i].name=="orange_star") {
				document.images[i].src = "images/orange_star.gif";
			}
		}
	}
}