function saveas()
{
document.execCommand('SaveAs');
}
function setPage (newAddress) {
        if (newAddress != "") { window.location.href = newAddress; }
}