function urlredirect(url) {
 location.replace(url);
}