function changePage(value, extra) {
       location.replace('?dest_page=' + value + extra)
}