| ";
echo "\n";
echo " | \n";
$type="type$copy_from";
$len="len$copy_from";
$ln=0;
if (substr($$type,strlen($$type)-1,1)==")"):
$k=0;
while (($ln==0) && ($j < strlen($$type))) {
$p=substr($$type,$k,1);
if ($p=="("):
$ln=$k;
endif;
$k++;
}
$$len=substr($$type,$ln+1,(strlen($$type)-$ln-2));
$$type=substr($$type,0,$ln);
endif;
echo "";
echo " | ";
echo "";
echo " | ";
$null="null$copy_from";
echo "";
echo " | ";
$defaultx="default$copy_from";
echo "";
echo " | ";
$extra="extra$copy_from";
echo "";
if ($buttons!="off") {
echo "\n | ";
echo " | ";
echo "\n";
echo " | ";
}
echo "
";
?>