韩国政府寻求7.6万亿韩元的额外预算。