El tamaño del punzón era de 15 milímetros.