<?php echo "OK HTTPS"; ?>
