function js_579720109604908()
{
document.write ('<a href="/scotland/hotels/aberdeen-city-hotel-3407-details.htm">printable version</a>');
}

function js_579720109604908()
{
document.write ('<a href="/scotland/hotels/aberdeen-city-hotel-3407-details.htm">printable version</a>');
}