else
{
if
(
isset
(
$_POST
[
'val0'
)
)
{
echo
"ERROR: You left a field blank."
;
}
}