// JavaScript : defunct routine
//-->