int_hashmap = new Hashmap.hashmap ();