build_date.js.template revision f131ef75fa02edc15fdbfbc2a411af571378bbb8
document.write("@BUILD_DATE@");