function navto(dest){

window.location = dest;

}