function doWait()
{
var x = document.getElementsByTagName( "body" )[0];
x.style.cursor = "wait";
}
function doNoWait()
{
var x = document.getElementsByTagName( "body" )[0];
x.style.cursor = "auto";
}