get_count($app_id)

Tweaks requested by Andreas for get_count($app_id)