function js_286805397200119()
{
document.write (' <div><a href="/cgi/placereferer.cgi?refererurl=http://directrooms.com/europe-ireland/hotels/castle-hotel-dublin-14774.htm" onclick="openTellafriendPopup(this);return false;">send page to a friend</a></div>  ');
}

function js_522524040212019()
{
document.write (' <div class="print_page"><a href="/europe-ireland/hotels/castle-hotel-dublin-14774-details.htm">print this page</a></div> ');
}