if(isset($_POST["fav"])) $fav = (int)$_POST['fav'];
else $fav=0;

Sollte reichen