function js_708313471788769()
{
document.write ('<a href="/portugal/hotels/mercure-porto-batalha-hotel-4966-details.htm">printable version</a>');
}

function js_708313471788769()
{
document.write ('<a href="/portugal/hotels/mercure-porto-batalha-hotel-4966-details.htm">printable version</a>');
}