code: public synchronized void insert_attr(int attr)
  	{
  
  //
  // Insert elt in the box
  //
  
  		box[insert_elt].req_type = Req_Attribute;
  		box[insert_elt].attr_type = attr;
  		box[insert_elt].op_type = Op_Unknown;
  		box[insert_elt].when = new Date();
  
  //
  // get client address
  //
  
  		get_client_host();
  			
  //
  // manage insert and read indexes
  //
  
  		inc_indexes();
  	}
docs: --------------------------------------------------------------------------