function topmenu(ishome, linkurl, cityname)
{
if (ishome == true) {
document.write('| Home | ')
}
else {
document.write(' ' + cityname + ' Hotels | ')
}
document.write(' Membership | ')
document.write(' About Us | ')
document.write(' Customer Service | ')
document.write(' How To Book | ')
document.write(' Affiliates | ')
document.write(' Hotel Login | ')
document.write(' | ')
}