document.write('95012')