function ArrayList_add(x){
	this.list[this.idx++] = x;
}

function ArrayList(){
	this.list = new Array();
	this.idx = 0;
	this.add = ArrayList_add;
}