$HTTP_POST_FILES (or just $_FILES) is an array containing all files you uploaded. to get the image's size, you'd have to use a function on that file.
$image_info = getimagesize($_FILES[whatever_name_you_uploaded_as]['tmp_name']);
$width = $image_info[0];
$height = $image_info[1];
to read more on getimagesize(), read the manual here:
http://www.php.net/manual/en/function.getimagesize.php
"Index 0 contains the width of the image in pixels. Index 1 contains the height. Index 2 a flag indicating the type of the image. ... Index 3 is a text string with the correct height="yyy" width="xxx" string that can be used directly in an IMG tag."