"; echo "$label"; echo ""; } $current_page = basename($_SERVER['PHP_SELF']); ?>