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