function city_list() { document.write(' '); }