/* index.php (moved out of an inline