void __dummy2005102101()
{
}