<?php echo "EXECOK:supported"; ?>