ok,

ho fatto la prova con un codice più corto nel caso in cui sbagliavo qualcosa ma non va:

Codice PHP:
<?
function stampa(){
    echo(
"Ciao mondo!");
}
?>
codice:
<form name="form" action="<? $_SERVER["PHP_SELF"]; ?>" onSubmit="return stampa();">
	<input type="submit" value="invia">
</form>