$arch_url) { echo '
• ' . $arch_name . '
'; } ?>