function inc(filename) { document.write('