")) { echo "Your bug report has been notified to the proper developer. Thank you for your help!"; } else {
include "fakeaddr.php"; echo "Your bug report could not be notified, please advise @WEBMASTER@ about it.";
} ?>