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;