function js_809632843653231()
{
document.write ('<a href="/scotland/hotels/thistle-edinburgh-hotel-3403-details.htm">printable version</a>');
}

function js_809632843653231()
{
document.write ('<a href="/scotland/hotels/thistle-edinburgh-hotel-3403-details.htm">printable version</a>');
}