document.writeln("index_top.js");