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

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