function input_submit($element_name, $label) { print '<input type="submit" name="' . $element_name .'" value="'; print htmlentities($label) .'"/>'; }