Beh, puoi senplicemente usare:

codice:
"artprova.php?art=" . $_GET['art']
Poi ovviamente lo adatti alle tue esigenze.