size-double.out
[
plain text
]
+++Double size: 8