function show_menuextra()
{
  var tmpstr;

  tmpstr = ('Quinta, 29 de Julho de 2010 | 18:55');
  document.write(tmpstr);
}