function js_412194484399526()
{
document.write ('<a href="/hungary/hotels/kings-hotel-budapest-8873-details.htm">printable version</a>');
}