After routine patient contact, hand washing should last at least: