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