var textlinks_link=new Array ('/miami/miami-restaurants-story.html','/miami/miami-hottest-hotels-story.html','/miami/miami-sexiest-beaches-story.html');
var textlinks_title=new Array ('Most Exotic Restaurants','15 Hottest Hotels ','10 Sexiest Beaches');


var isSafari = 0;
if (navigator.appVersion.indexOf('Safari')>-1) isSafari = 1; 

if (!isSafari) 
	var textlinks_html = '<DIV STYLE="background-image: URL(/media/photos/deluxe_guide/miami/toc_bestof.jpg);height:44px;padding-left:70px;"><div style="line-height:14px;font-weight:bold;padding-top:8px;">BEST<BR>OF MIAMI</div></div><p style="padding-left:6px;">';
else  
	var textlinks_html = '<DIV STYLE="background-image: URL(/media/photos/deluxe_guide/miami/toc_bestof.jpg);height:44px;padding-left:70px;"><div style="line-height:14px;font-weight:bold;padding-top:8px;">BEST<BR>OF MIAMI</div></div><p style="padding-left:6px;">';

for(i=0;i<textlinks_link.length;i++) {
        textlinks_html = textlinks_html + '<a href="' + textlinks_link[i] + '" class="subnav">' + textlinks_title[i] + '</a><br>';
}

if (!isSafari) 
	textlinks_html = textlinks_html + '</p>';
else 
	textlinks_html = textlinks_html + '</p>';

document.write(textlinks_html);