function preloadImages() {
	if (document.images) {
		for (var i = 0; i < preloadImages.arguments.length; i++) {
			(new Image()).src = preloadImages.arguments[i];
		}
	}
}

function replace_full_size(img_name,img_src) {
	document[img_name].src=img_src;
}