function adjustScroller(current_list_position) {
	if (current_list_position != null) {
		thumbnail_list_obj = document.getElementById('thumbnail_list')
		thumbnail_list_obj.scrollTop = (current_list_position - 1) * 150
	}
}