print "<p>base_url = $base_url\n";
$base_url = 'http://123.456.789.000';
print "<p>base_url = $base_url\n";