The first six lines of my PHP look like this: