- echo "<html><head>\n";
- echo '<TITLE>';
- echo $org_title;
- echo '</TITLE>';
-
- $left_size = getPref($data_dir, $username, "left_size");
- $location_of_bar = getPref($data_dir, $username, "location_of_bar");
- if ($location_of_bar == '')
- $location_of_bar = 'left';
- if ($left_size == "") {
- if (isset($default_left_size))
- $left_size = $default_left_size;
- else
- $left_size = 200;
- }
-
- if ($location_of_bar == 'right')
- {
- echo "<FRAMESET COLS=\"*, $left_size\" BORDER=0>";
- } else {
- echo "<FRAMESET COLS=\"$left_size, *\" BORDER=0>";
- }