document.write ("95112");