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