function ISE()
{
header('HTTP/1.1 500 Internal Server Error', true, 500);
trigger_error('ISE function called.', E_USER_ERROR);//if you are logging errors?
}
However, you will need output buffering ON to be able to use php header() function after you use any output function like echo.