';
var mytit = 'City Guides, Travel Guides and What To Do When You Get There';
}
else if (/specials\.cgi/ig.test(myloc))
{
var mybar = site +'hotratehotels">';
var mytit = 'Hot Rates on Hotel Rooms, Discount Hotels, Vacation Packages, Hotel and Flight Packages';
}
else
{
var mybar = site +'hotelhead">';
var mytit = 'Discount Hotels, Hotel Deals, Vacation Packages, Hotel and Flight Packages';
}
function writebar()
{
document.write (mybar);
}
function writetit()
{
document.write ('USTINET Travel Center - ' + mytit + '');
}
-->
