вообщето на клиенте у вас уже не будет такой записи как
<a href="page<?php print $file;?>.html" onc...
а будет что-нибудь типо
<a href="page.html" onc...
ну а далее ловите событие на изменение значения и меняйте значение атрибута href элемента а на то что вам необходимо