800 1,200 2,519 1,132 1,200 4,000 4,000 3,725 1,200800