#include <stdio.h>

static char *header_type[8] = {
	"Header ",
	"Subcode",
	"VAX    ",
	"Audio  ",
	"Video  ",
	"Rsvd(5)",
	"Rsvd(6)",
	"Rsvd(7)",
};

main() {
	unsigned char pktbuf[480];
	int i = 0;
	int header;
	int difseq;
	int channel;
	int difblk;

	while (fread(pktbuf, 1, 480, stdin) > 0) {
		printf("%d:%3d: %02x%02x ", i / 250, i % 250,
		    0x000000ff&pktbuf[0], 0x000000ff&pktbuf[1]);

		header = (pktbuf[0] >> 5) & 0x07;
		difseq = (pktbuf[1] >> 4) & 0x0f;
		channel = (pktbuf[1] >> 3) & 0x01;
		difblk = pktbuf[2];

		printf("%s chan %d %d:%d\n", header_type[header],
		    channel, difseq, difblk);
		++i;
	}
}