function update_sitelist() {
	var sitelist_name = 'sitelist.html';
	var current_sitelist = top.frames['SiteList'].location;
	var a_list = document.location.href.split('/');
    a_list[a_list.length-1] = sitelist_name;
    var sitelist_url = a_list.join('/');
	if ((current_sitelist != 'sitelist.html') && (current_sitelist != sitelist_url)) {
		top.frames['SiteList'].location.href = sitelist_name;
	}	
}
		
update_sitelist();