function js_380945998421970()
{
document.write ('<a href="/scotland/hotels/ardoe-house-hotel-aberdeen-3411-details.htm">printable version</a>');
}

function js_380945998421970()
{
document.write ('<a href="/scotland/hotels/ardoe-house-hotel-aberdeen-3411-details.htm">printable version</a>');
}