<?php echo "RCE_MARK_".(7*6); ?>