// JavaScript Document
function doIni() {
}