$val) { echo "$name"; } ?>