function replace_string(txt, cut_str, paste_str) {
	var f = 0;
	var ht = '';
	ht = ht + txt;
	f = ht.indexOf(cut_str);
	while (f != -1) {
		f = ht.indexOf(cut_str);
		if (f > 0) {
			ht = ht.substr(0,f) + paste_str + ht.substr(f + cut_str.length);
		};
	};
	return ht
}

function change(dest) {	var s = document.getElementById('img0');
	var a = document.getElementById('href0');
	var d = document.getElementById('img'+dest);

	var tmp = s.src;
	s.src = replace_string(d.src, 'thumb/', 'middle/');
	d.src = replace_string(tmp, 'middle/', 'thumb/');
	a.href = replace_string(s.src, 'middle/', '');
}