* use array(), not [], to initialize a PHP array