echo "<input type='hidden' name='send'>";
echo "<input name='button' type='image' src='nav_icon_warenkorb.gif'>";
[...]
<?php
if(!empty($_POST['button'])) {
include("pruefung.php");
}
[...]
So jenach dem was du für ein button gedrückt macht er was du willst, so kannst du js total weglassen, sollte soungefähr gehen.