Code Editor : pdfpattern.py