javascript: read name page file

gistfile1

function read_name_page_file (name_page_file) {
	var name_and_page 	= [];
	var tmp_arr			= [];
	var tmp_str 		= "";	
	if(name_page_file !=null) {

		name_page_file.open("r");
		while(!name_page_file.eof){
			tmp_str = name_page_file.readln();
			tmp_arr = tmp_str.split("\t");
			if(tmp_arr.length == 2) {
				name_and_page.push( {"name": tmp_arr[0], "page": tmp_arr[1]} );				
			};
		};
		name_page_file.close();
	};
	return name_and_page;
};