function js_703265446909931()
{
document.write ('<a href="/portugal/hotels/royal-savoy-hotel-madeira-madeira-funchal-4944-details.htm">printable version</a>');
}

function js_703265446909931()
{
document.write ('<a href="/portugal/hotels/royal-savoy-hotel-madeira-madeira-funchal-4944-details.htm">printable version</a>');
}