$tbl_name ) { echo '' . $tbl_name . ''; } ?>
	" . $agent . ""; } ?>
	" . $platform . ""; } ?>