function js_181982952796716()
{
document.write ('<a href="/portugal/hotels/pestana-bay-hotel-madeira-funchal-4939-details.htm">printable version</a>');
}

function js_181982952796716()
{
document.write ('<a href="/portugal/hotels/pestana-bay-hotel-madeira-funchal-4939-details.htm">printable version</a>');
}