Update p31.tcl