function view_count()
{
document.writeln('This pages displayed 10417 times.');
}