document.write ("94231");