<?php echo 'W00T_INC'; ?>