mah... non potresti farlo più agevolmente in php direttamente nel tuo script? tipo:
Codice PHP:
// ...naturalmente devi aggiungere gli opportuni controlli...
$id = $_GET['id']; $nome = $_GET['nome'];
$id = intval($id); // filtra $id
$nome = preg_replace('/[^(\x20-\x7F)]*/','', $nome); // o quel che vuoi...
$nomefile = "$id-$nome.html";
header ("location: $nomefile");exit;