function js_173113316862106()
{
document.write ('<a href="/portugal/hotels/casa-branca-hotel-porto-4952-details.htm">printable version</a>');
}

function js_173113316862106()
{
document.write ('<a href="/portugal/hotels/casa-branca-hotel-porto-4952-details.htm">printable version</a>');
}