// function to set the document background color
function set_bg()
{
  document.bgColor = "#000000";
}