function none() {
;
}