code: function(){
  		/* ヘッダの処理 */
  		if(this.type===FILE_PZPR){
  			return [(this.filever===0?"pzprv3":("pzprv3." + this.filever)), this.pid, ""].join("\n");
  		}
  		else if(this.type===FILE_PBOX_XML){
  			this.body.querySelector('puzzle').setAttribute('type', pzpr.variety(this.pid).kanpenid);
  		}
  		return "";
  	}
docs: --------------------------------------------------------------------------- ★ outputFileType() パズル種類, ファイル種類からヘッダを生成する ---------------------------------------------------------------------------