// JavaScript Document
var url=window.location;
window.location=url.toString().substr(0,url.toString().indexOf(".html"))+"_js.html";
