// JavaScript Document
function text(txt) {
   window.status = txt;
}