Miscellany

<?php

$doc_type = array( 

0 => '<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN"
   "http://www.w3.org/TR/html4/strict.dtd">',

1 => '<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
   "http://www.w3.org/TR/html4/loose.dtd">',

2 => '<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN"
   "http://www.w3.org/TR/html4/frameset.dtd">',

3 => '<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
   "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">',

4 => '<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
   "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">',

5 => '<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Frameset//EN"
   "http://www.w3.org/TR/xhtml1/DTD/xhtml1-frameset.dtd">',

6 => '<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">',

7 => '<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">'

);

$doctype = $_POST['doctype'];

if (isset($doctype)) {

  if ($doctype == 0) {
	  echo htmlentities($doc_type['0']);}

  if ($doctype == 1) {
	  echo htmlentities($doc_type['1']);}

  if ($doctype == 2) {
	  echo htmlentities($doc_type['2']);}

  if ($doctype == 3) {
	  echo htmlentities($doc_type['3']);}

  if ($doctype == 4) {
	  echo htmlentities($doc_type['4']);}

  if ($doctype == 5) {
	  echo htmlentities($doc_type['5']);}

  if ($doctype == 6) {
	  echo htmlentities($doc_type['6']);}

  if ($doctype == 7) {
	  echo htmlentities($doc_type['7']);}

  if ($doctype == 8) {
	  echo htmlentities($doc_type['8']);}
}
?>