Gamle Oslo-budsjettet på 900 mill.