Сколько варить замороженные шампиньоны?

На упаковке замороженных шампиньонов, которые я купил, производители нарисовали сковородку и кастрюлю и написали 5 минут, что это? Это время жарки или варки? Или и того и другого? Сколько варить замороженные шампиньоны?