console.log("checking basic 12/20");