if(!$myid)
return;
-output_status();
-
$PREF = DB_get_PREF($myid);
DB_update_user_timestamp($myid);
how often is the last trick a non-trump trick
*/
+ /* needs this so that all tables are within the div and don't float around */
+ echo "<p style=\"clear:both;\"> </p>\n";
+
echo "</div>\n"; /* end output */
/* write file to cache */