Das Problem wurde gelöst. @ThomasChr hat sich mal den Code angeschaut und folgendes gefunden.
if (isset($_POST['pro']) AND preg_match("#^[0-9]{1,5}$#", $_POST['pro'])){$pro = $_POST['pro'];}
elseif (isset($_POST['pro2']) AND preg_match("#^[0-9]{1,5}$#", $_POST['pro2'])){$pro =...