// JavaScript Document
// appel vide non jsrs pour body
function init_jsrs3()
{
return
}