function set_location(loc){
location.href= loc;

}