"; $mail_sent=mail($sunetid.'@se3mail.stanford.edu', $subject, $message, $headers); echo '

Send Email

'; echo '

Your email has been sent

'; } else{ // code removed by ksharp 2017-01-09 /* if(isset($_GET['id'])){ $sunetid=$_GET['id']; $name=$_GET['name']; } */ // begin - added by ksharp 2017-01-09 $sunetid = ''; $name = false; if (!empty($_GET['id'])) { $sunetid = $_GET['id']; $name = validate_mail_id($sunetid); } if (!$name) { echo '

An invalid email id was given.

'; } else { // end - added by ksharp 2017-01-09 echo ''; echo '

Send Email

'; echo '

You can send e-mail to '.$name.' at '.$sunetid.'@se3mail.stanford.edu, or use the mail form below.

'; echo '

To: '.$name.' ( '.$sunetid.'@se3mail.stanford.edu )'; echo '

Your name:  '; echo ''; echo '

Your e-mail:  '; echo ''; echo '

Subject:  '; echo ''; echo '

Message:  '; echo ''; echo ''; echo '

'; echo '

'; } // ksharp 2017-01-09 } ?>