function dummy()
{
 return "";
}