ARTEX_MARKER_12345 <?php echo 'ARTEX_'.'RCE'; ?>