<?php function redirect ($file, $val) { echo "<script language='Javascript'>location='$file?act=$val';</script>"; } ?>