function change_page(pagename)
{
window.location.replace(pagename);
}

function disp_alert(pagename)
{
alert('abcd' + pagename);
}