function show_menuextra()
{
  var tmpstr;

  tmpstr = ('Segunda, 6 de Fevereiro de 2012 | 7:8');
  document.write(tmpstr);
}