document.write(' : 0040
: 0080

00280416');