function setBrowserTitle(title) {
    document.title = title;
}

function getBrowserTitle() {
    return document.title;
}

function setBrowserStatus(status) {
    window.status = status;
}

function getBrowserStatus() {
    return window.status;
}

function refresh() {
	document.location.reload(true);
}

function back() {
	history.back();
}

function forward() {
	history.forward();
}