function hello()
{
  document.write("Thursday, May 10, 2007");
}