// Кажется, много работы только для одной даты.
function convertJAN202012(){
var A= [], monthnames={
JAN:'01'
},
string= '20-JAN-2012';
A= string.split('-');
if(A[0]<10)A[0]='0'+A[0];
return [monthnames[A[1]], A[0], A[2]].join('/');
}
convertJAN202012()
/* returned value: (String)
01/20/2012
*/