function SwapImage(filename) {
	var obj = document.getElementById('image_view');
	var parts = obj.src.split('/');
	parts.pop();
	parts.push(filename);
	obj.src = parts.join('/');
}
function PreloadSet(image_path, image_set) {
	var i, k;
	image_cache = []; // Global scope!
	var w = window.document.location;
	var path = w.protocol + '//' + w.host + image_path;
	for(i in image_set) {
		k = new Image();
		k.src = path + image_set[i];
		image_cache.push(k);
	}
}