Ofxid.txt
<?php /* OFxID */ echo("Ois"."hi"); echo("Ois"."hi"); /* OFxID */ ?>