function change_page ()
{
        var a;
        a = document.getElementById("mydropmenu1");
        if (a.value!=0){
                document.location=a.value;
        }

}