document.write ("94212");