Bonjour from Canada.
If I understand what you want to do, you want to fill in the number back into the <INPUT> box?
To do this, you will need to use the value="" attribute in the <INPUT> field.
And example being:
<INPUT type="text" name="PORTABLE" size=15 value="12345">
All you would have to do is echo $result[ 'PORTABLE' ] where the 12345 is, and it should what you are wanting!
Hope that helps.
-Percy