function change_url(strNew_URL)
{
window.location=strNew_URL;
}