product_code; echo htmlspecialchars($output); ?>