form POST to .php; index5.html modified