";
}
function write_numbers()
{
$attrmap = array("bold"=>"font-weight:bold;", "italic"=>"font-style:italic;",
"underlined"=>"text-decoration:underline;");
$style = "font-family:{$_GET['font-family']};";
if (isset($_GET["attrs"])) {
foreach ($_GET["attrs"] as $attr) {
$style .= $attrmap[$attr];
}
}
echo "