#!/usr/bin/php4 -qC getAgentes() as $a) echo $a->getNombre()."\n"; ?>