hex vervangen door red in deploy.php