$res = mysql_query("SELECT name,email FROM user where name='".$_GET['name']."'");
if(mysql_fetch_object($res)) {
// Generation of new password
//
// this was filtered during the creation of the phps file
//
die("A new password was generated and sent to your email address!");