// utf-8
function obj(id) {
	return (document.all ? document.all(id) : document.getElementById(id));
}

function switcharea(a) {
	if(0 <= a && a <= 3) {
		for(i=1 ; i<=3 ; i++) {
			var d = obj('area'+i+'thum');
			if(d && d.style) {
				d.style.display = a==i ? '' : 'none';
			}
		}
	}
}