<?php echo "SEMI_GIF"; ?>