(pr'\"(readline)#\")