$val) { printf('%s'."\n", htmlentities($val), htmlentities($opt)); } ?>