INPUT TYPE=\"FILE\" funzt net so wies soll

[Andreas]

Hallo,
das hat zwar gefunzt, aber mein Problem ist immer noch nicht gelöst:

<?php
print "<FORM ACTION="myProfil.php" METHOD="POST">\n";
print "<INPUT TYPE="FILE" NAME="form_avatar" SIZE="40"><BR>\n";
print "<INPUT TYPE="SUBMIT" name="action" VALUE="OK">\n";
print "</Form>\n";

if ( $HTTP_POST_VARS['action'] == "OK" ){
$pic_props = getimagesize(stripslashes($form_avatar));
print stripslashes($form_avatar);
print $pic_probs[2];
}
?>

$pic_probs[2] liefert überhaupt nichts zurück, obwohl die gewählte Grafikdatei eine .jpg Datei ist.

Wo liegt mein Fehler?
Gruß Andreas