function js_854549759107152()
{
document.write ('<a href="/portugal/hotels/tivoli-ocean-park-hotel-madeira-funchal-4947-details.htm">printable version</a>');
}