function bookmark(){
if (document.all)
window.external.AddFavorite("http://www.phuket-thailande.com/hotels/maps_frames.htm","Phuket, Thailande - Cartes")
}
if (document.all)
document.write('<a href="javascript:bookmark()"><span class="title13boldblack">Mémorisez cette page</span></a>')