document.write ("94742");