void ex_next()
{
}