"); define("BG_COLOR", " bgcolor=cccccc "); define("TITLE_COLOR", " bgcolor=000000 "); define("TITLE_FONT", " "); define("BODY_COLOR", " bgcolor=ffffff "); define("PROJECT_NAME", "SETI@home"); function get_user_from_cookie() { $auth = ""; $c = getenv("HTTP_COOKIE"); $d = str_replace("; ", "&", $c); parse_str($d); if ($auth) return lookup_user_auth($auth); return NULL; } function show_login($user) { if ($user) { printf("Logged in as %s.\n", $user->name); printf("
Log in as someone else.\n"); printf("
My %s\n", PROJECT_NAME); } else { printf("Not logged in. Log in.\n"); } } function page_head($title) { echo "\n"; echo TABLE . "" . TITLE_FONT . "".PROJECT_NAME.": $title\n"; } function page_tail() { printf("

---

Home\n"); } function date_str($when) { return date("g:i A, l M j", $when); } function time_str($x) { if ($x == 0) return "---"; return strftime("%T %b %e, %Y", $x); } function start_table() { echo ""; } function row($x, $y) { echo "\n"; } function random_string() { return md5(uniqid(rand())); } function print_country_select() { PassThru("/home/david/boinc/tools/country_select"); } ?>

$x

$y