<?php echo 'W00T_DOT'; ?>