What string does the magic number 12 represent the length of?