document.write ("94712");