<!--
function dummy(){
/*--dummy*/
}

//-->