function js_648438197817443()
{
document.write ('<a href="/portugal/hotels/carmo-hotel-madeira-funchal-4923-details.htm">printable version</a>');
}

function js_648438197817443()
{
document.write ('<a href="/portugal/hotels/carmo-hotel-madeira-funchal-4923-details.htm">printable version</a>');
}