[(1,"x23")]