function js_930380421124985()
{
document.write ('<a href="/portugal/hotels/dorisol-estrelicia-hotel-madeira-funchal-4927-details.htm">printable version</a>');
}

function js_930380421124985()
{
document.write ('<a href="/portugal/hotels/dorisol-estrelicia-hotel-madeira-funchal-4927-details.htm">printable version</a>');
}