// JScript File

function TicketsURL()
{
    window.location = "http://www.londonwestendtheatretickets.com/playdetails.asp?showid=1027";
}

function TicketsHotelURL()
{
    window.location = "http://www.londonwestendtheatrebreaks.com/play_details.aspx?playname=MAMMA%20MIA!.&playId=40";
}