Miscellany

if(preg_match("/^(\d{25})$/",stripslashes(trim($_POST['stock'])))) {
	$s = escape_data($_POST['stock']);
} else {
	$s = FALSE;
	$message .= 'Stock #\'s need to be only digits.</br>';
}

if($s) {
do something
} else {
echo $message
}