function navigation()
{
with(this.document)
{
write('
');
write('');
//write('');
write('
');
// Uncomment to activate monitoring
mon();
}
}
function tip_of_day()
{
with(this.document)
{
write('
');
write('');
write('
');
}
}
// Old format
function tip_of_dayx()
{
with(this.document)
{
write('');
write('
');
write('');
write('
');
}
}
function mon()
{
var h = screen.height;
var w = screen.width;
var d = document.domain;
var ref = escape(document.referrer);
var res = w+"x"+h;
document.write('');
}
');
write('
');
}