document.write ("94312");