function statustext(text) {
	window.status = "~ Ambassade Hotel Amsterdam - " + text + " ~";
}

function rst() {
	window.status = window.defaultStatus;
}