Use proper PHP tags